Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. <br>The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop ser...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | كتاب الكتروني |
| اللغة: | English |
| منشور في: |
Berlin, Heidelberg
Imprint: Springer
2012.
|
| سلاسل: | Lecture Notes in Computer Science,
7437 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Click here to view the full text content |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
النظام قيد الصيانة
نظام إدارة مكتبتنا قيد الصيانة حاليا.
معلومات إتاحة المواد والمقتنيات غير متاحة حاليا. الرجاء قبول اعتذارنا عن أي إزعاج قد يسببه ذلك والاتصال بنا للمزيد من المساعدة: