شماره ركورد
36674
شماره مدرك
4364113
نويسنده/تنالگان
Manuel Nunez
عنوان
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015
اطلاعات نشر
Springer
سال نشر
2015
شابك
3319194577
Link To Document
https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=36674