Model checking timed safety instrumented systems
Finna-arvio
Model checking timed safety instrumented systems
Tallennettuna:
| Ulkoasu |
Julkaistu myös verkkoaineistona viii, 56 sivua : kuvitettu ; 30 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Espoo :
Helsinki University of Technology,
2008
|
| Sarja | TKK Reports in Information and Computer Science, ISSN 1797-5034; 3. |
| Luokitus | |
| Lisätiedot | Jussi Lahtinen |
| Verkkoaineisto |
978-951-22-9445-9 |
| ISBN |
978-951-22-9444-2 nidottu |
| Hae kokoteksti | |