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 |