Formal methods for industrial critical systems : a survey of applications
Finna rating
Formal methods for industrial critical systems : a survey of applications
Saved in:
| Physical Description |
1 PDF (292 pages) Also available in print |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Item Description |
Includes index. |
| Publisher |
Hoboken, New Jersey :
John Wiley and Sons Incorporated,
[2012]
|
| Subjects | |
| Additional Information | edited by Stefania Gnesi, Tiziana Margaria |
| ISBN |
9780470876183 9781118459898 ebook electronic MyiLibrary |
| DOI | 10.1002/9781118459898 |
| Access | Luettavissa Jyväskylän yliopiston verkossa; Access limited to Jyväskylä University network |
| Notes |
IEEE |
| Standard Codes |
doi 10.1002/9781118459898 |
| Publisher or Distributor Number |
IEEE 6381798 IEEE ocn820719492 |
| Get full text | |