مؤتمر
Automated Verification of AADL-Specifications Using UPPAAL
| العنوان: | Automated Verification of AADL-Specifications Using UPPAAL |
|---|---|
| المؤلفون: | Johnsen, Andreas, Lundqvist, Kristina, Pettersson, Paul, Jaradat, Omar |
| المصدر: | 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering |
| بيانات النشر: | IEEE |
| سنة النشر: | 2012 |
| نوع الوثيقة: | conference object |
| اللغة: | unknown |
| DOI: | 10.1109/hase.2012.22 |
| الإتاحة: | https://doi.org/10.1109/hase.2012.22Test http://xplorestaging.ieee.org/ielx5/6374352/6375604/06375607.pdf?arnumber=6375607Test |
| رقم الانضمام: | edsbas.559FF72C |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/hase.2012.22 |
|---|