Refinement of fault tolerant control systems in B
Finna-arvio
Refinement of fault tolerant control systems in B
Tallennettuna:
Ulkoasu |
32, [2] sivua ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Turku :
Turku Centre for Computer Science,
2004.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 603. |
Luokitus | |
Lisätiedot | Linas Laibinis, Elena Troubitsyna |
ISBN |
952-12-1339-6 nidottu |
Hae kokoteksti |