Structured Object-Oriented Formal Language and Method Plus de livres similaires
Dependable Software Engineering. Theories, Tools, and Applications
2018
Structured Object-Oriented Formal Language and Method
2020
Fundamentals of Software Engineering
2019
Software Engineering and Formal Methods
2017
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Methods and Software Engineering
2018
Formal Techniques for Safety-Critical Systems
2020
Formal Methods for Eternal Networked Software Systems
2011
Formal Methods. FM 2019 International Workshops
2020
From Software Engineering to Formal Methods and Tools, and Back
2019
Software Engineering and Formal Methods
2015
Advances in Model and Data Engineering in the Digitalization Era
2021
Perspectives of System Informatics
2019
Formal Methods for Industrial Critical Systems
2018
Software Technologies: Applications and Foundations
2016