كتاب
Verification Techniques for xMAS
| العنوان: | Verification Techniques for xMAS |
|---|---|
| المؤلفون: | Fedotov, Alexander |
| المصدر: | Fedotov , A 2022 , ' Verification Techniques for xMAS ' , Doctor of Philosophy , Mathematics and Computer Science , Eindhoven . |
| بيانات النشر: | Eindhoven University of Technology |
| سنة النشر: | 2022 |
| نوع الوثيقة: | book |
| وصف الملف: | application/pdf |
| اللغة: | English |
| ردمك: | 978-90-386-5432-4 90-386-5432-4 |
| العلاقة: | https://research.tue.nl/en/publications/c659a21d-a17f-463a-b90e-96fd3a8591e8Test; urn:ISBN:978-90-386-5432-4 |
| الإتاحة: | https://research.tue.nl/en/publications/c659a21d-a17f-463a-b90e-96fd3a8591e8Test https://pure.tue.nl/ws/files/192130951/20220111_Fedotov_hf.pdfTest |
| حقوق: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.EC29ABAE |
| قاعدة البيانات: | BASE |
| ردمك: | 9789038654324 9038654324 |
|---|