The Role of Verification in Interactive Systems Design

AuthID
 P-008-YG6
2
Author(s)
2
Editor(es)
Markopoulos, P; Johnson, P
Tipo de Documento
Proceedings Paper
Year published
1998
Publicado
in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98 in SPRINGER COMPUTER SCIENCE
Volume: 1, Páginas: 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, Patrocinadores: 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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service