Book
Model-Based Design and Verification of Reactive Systems
| العنوان: | Model-Based Design and Verification of Reactive Systems |
|---|---|
| المؤلفون: | Hýsek, Jiří, Češka, Milan, Janoušek, Vladimír |
| المصدر: | Computer Aided Systems Theory - EUROCAST 2009 ; Lecture Notes in Computer Science ; page 865-872 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642047718 9783642047725 |
| بيانات النشر: | Springer Berlin Heidelberg |
| سنة النشر: | 2009 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-642-04771-8 978-3-642-04772-5 3-642-04771-8 3-642-04772-6 |
| DOI: | 10.1007/978-3-642-04772-5_111 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-642-04772-5_111 http://link.springer.com/content/pdf/10.1007/978-3-642-04772-5_111 |
| Rights: | http://www.springer.com/tdm ; http://www.springer.com/tdm |
| رقم الانضمام: | edsbas.5760FD48 |
| قاعدة البيانات: | BASE |
| ردمك: | 9783642047718 9783642047725 3642047718 3642047726 |
|---|---|
| DOI: | 10.1007/978-3-642-04772-5_111 |