Transactions on Petri Nets and Other Models of Concurrency XIII More Books Like This
NASA Formal Methods
2018
Hardware and Software: Verification and Testing
2015
Transactions on Petri Nets and Other Models of Concurrency XI
2016
Model Checking Software
2018
Transactions on Petri Nets and Other Models of Concurrency XIV
2019
Fundamental Approaches to Software Engineering
2016
Software Engineering and Formal Methods
2018
Tools and Algorithms for the Construction and Analysis of Systems
2019
Model Checking Software
2019
Formal Methods and Software Engineering
2017
Formal Methods and Software Engineering
2015
Dependable Software Engineering. Theories, Tools, and Applications
2017
Perspectives of System Informatics
2016
Model Checking Software
2015
Formal Methods and Software Engineering
2016