Systematic Analysis of Control Panel Interfaces Using Formal Tools

AuthID
P-004-3M5
2
Author(s)
2
Editor(s)
Graham, TCN; Palanque, P
Document Type
Proceedings Paper
Year published
2008
Published
in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5136, Pages: 72-85 (14)
Conference
15Th International Workshop on Interactive Systems, Date: JUL 16-18, 2008, Location: Kingston, CANADA, Host: Univ Kingston
Indexing
Publication Identifiers
Dblp: conf/dsvis/CamposH08
Scopus: 2-s2.0-50549104012
Wos: WOS:000258912000006
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.