Yazar
Davi, Lucas. author.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Ballmann, Bastian. author.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
View Other Search Results
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: