Model Checking in an Industrial Environment
Ulrich Hensel‚ Eva Fordran‚ Matthias Fruth‚ Hu Shaoyu and Madabhushi Srinivasan
Details
| Book Title |
Proceedings of the GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
| Publisher |
Shaker−Verlag |
| Year |
2003 |
Links
Related pages
|
People |