Yazar
André, Étienne. editor. (orcid)0000-0001-8473-9555
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway
View Other Search Results
Yazar
ter Beek, Maurice H. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification
Yazar
Bertogna, Marko. editor.
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems.
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems.
Yazar
Martínez-Villaseñor, Lourdes. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Arama Sonuçlarını Sınırlandır
Daraltılmış: