Yazar
Torra, Vicenç. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Ortmeier, Frank. editor.
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016
Yazar
D’Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for
Arama Sonuçlarını Sınırlandır
Daraltılmış: