Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Holzer, Markus. editor.
Format:
Electronic Resources
Alıntı:
experience, implementation of verification methods and model checking, industrial applications, natural
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
Derrick, John. author.
Format:
Electronic Resources
Alıntı:
Software engineering.
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
ter Beek, Maurice H. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.