Formal Methods Applied to Complex Systems More Books Like This

Static Analysis of Software Static Analysis of Software
Static Analysis of Software
2013
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
Trustworthy Cyber-Physical Systems Engineering
2016
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
2021
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012