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
Wos®
Dblp®/pt/publications/view/293382
Publication Identifiers
Dblp: conf/dsvis/CamposH98
Wos: WOS:000084730600011
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service