Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 비슷한 책 더 보기
Formal Methods for Industrial Critical Systems
2022년
Software Engineering and Formal Methods
2022년
Software Engineering and Formal Methods
2019년
Integrated Formal Methods
2017년
Formal Methods
2018년
Integrated Formal Methods
2022년
NASA Formal Methods
2017년
Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018년
NASA Formal Methods
2018년
Integrated Formal Methods
2018년
Formal Methods: Foundations and Applications
2017년
Formal Methods and Software Engineering
2020년
Formal Methods for Industrial Critical Systems
2021년
Formal Methods and Software Engineering
2017년
FM 2016: Formal Methods
2016년