Publications

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(s)

Dubois,C;Masci,P;Mery,D

Document Type

Article

Year published

2017

Published

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

Volume: abs/1701.07925, Issue: 240, Pages: 1-19 (19)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/668684

Crossref^®1

Arxiv^®

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help