The Role of Verification in Interactive Systems Design

AuthID
P-008-YG6
2
Author(s)
2
Editor(s)
Markopoulos, P; Johnson, P
Document Type
Proceedings Paper
Year published
1998
Published
in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98 in SPRINGER COMPUTER SCIENCE
Volume: 1, Pages: 155-170 (16)
Conference
Eurographics Workshop on Design, Specification and Verification of Interactive Systems (Dsv-Is 98), Date: JUN 03-05, 1998, Location: ABINGDON, ENGLAND, Sponsors: ERCIM, Eurograph
Indexing
Publication Identifiers
Dblp: conf/dsvis/CamposH98
Wos: WOS:000084730600011
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.