Publicações

Evaluation of Formal Ides for Human-Machine Interface Design and Analysis: The Case of Circus and Pvsio-Web

AuthID
P-00M-D0C

Author(s)

Fayollas, C

Palanque, P

Editor(es)

Dubois,C;Masci,P;Mery,D

Tipo de Documento

Article

Year published

2017

Publicado

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180

Volume: abs/1701.07925, Número: 240, Páginas: 1-19 (19)

Conference

3Rd Workshop on Formal Integrated Development Environment, F-Ide 2016, Date: 8 November 2016

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/668684

Crossref^®1

Arxiv^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.4204/eptcs.240.1

Arxiv: 1701.08465

DBLP: journals/corr/FayollasMPMHCS17

SCOPUS: 2-s2.0-85018922533

Wos: WOS:000405452600003

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Evaluation of Formal Ides for Human-Machine Interface Design and Analysis: The Case of Circus and Pvsio-Web

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Evaluation of Formal Ides for Human-Machine Interface Design and Analysis: The Case of Circus and Pvsio-Web

Links Úteis

Ajuda