Hazard analysis in formal specification
Finna-arvio
Hazard analysis in formal specification
Tallennettuna:
Ulkoasu |
13, [2] sivua : kuvitettu ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Turku :
Turku Centre for Computer Science,
1999.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 238. |
Luokitus | |
Lisätiedot | Kaisa Sere, Elena Troubitsyna |
ISBN |
952-12-0374-9 nidottu |
Hae kokoteksti |