Formal Methods Applied to Complex Systems こちらもおすすめ

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年