Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence
View Other Search Results
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
Ermolayev, Vadim. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 10th
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
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
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 13th
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Arama Sonuçlarını Sınırlandır
Daraltılmış: