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
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
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Costantini, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.