A tool-supported design framework for safety critical interactive systems
Year of publication: |
2003
|
---|---|
Authors: | Bastide, Rémi ; Navarre, David ; Palanque, Philippe |
Published in: |
Interacting with computers : the interdisciplinary journal of human-computer interaction. - Amsterdam [u.a.] : Elsevier, ISSN 0953-5438, ZDB-ID 10125607. - Vol. 15.2003, 3, p. 309-328
|
Saved in:
Saved in favorites
Similar items by person
-
Formal methods in human computer interaction
Palanque, Philippe, (1998)
- More ...