Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th
Yazar
Kamsties, Erik. editor. (orcid)0000-0002-7373-8466
Format:
Electronic Resources
Alıntı:
Requirements Engineering: Foundation for Software Quality 24th International Working Conference
View Other Search Results
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth
Yazar
Ammeraal, Leen. author.
Format:
Electronic Resources
Alıntı:
Computer-Aided Engineering (CAD, CAE) and Design. http://scigraph.springernature.com/things/product
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg
Yazar
Petrucci, Laure. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification
Arama Sonuçlarını Sınırlandır
Daraltılmış: