Formal methods for industrial critical systems : a survey of applications
Finna-arvio
Formal methods for industrial critical systems : a survey of applications
Tallennettuna:
| Ulkoasu |
1 PDF (292 pages) Also available in print |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Includes index. |
| Julkaisija |
Hoboken, New Jersey :
John Wiley and Sons Incorporated,
[2012]
|
| Aiheet | |
| Lisätiedot | edited by Stefania Gnesi, Tiziana Margaria |
| ISBN |
9780470876183 9781118459898 ebook electronic MyiLibrary |
| DOI | 10.1002/9781118459898 |
| Pääsy | Luettavissa Jyväskylän yliopiston verkossa; Access limited to Jyväskylä University network |
| Huomautukset |
IEEE |
| Standarditunnukset |
doi 10.1002/9781118459898 |
| Julkaisijan tunnus |
IEEE 6381798 IEEE ocn820719492 |
| Hae kokoteksti | |