Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings /
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such a...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | אלקטרוני ספר אלקטרוני |
| שפה: | English |
| יצא לאור: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| מהדורה: | 1st ed. 2013. |
| סדרה: | Programming and Software Engineering ;
8187 |
| נושאים: | |
| גישה מקוונת: | https://doi.org/10.1007/978-3-642-41010-9 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
היה/י הראשונ/ה לכתוב הערה!