Automated Technology for Verification and Analysis Zhiming Liu & Anders P. Ravn의 도서 더 보기
Theoretical Aspects of Computing – ICTAC 2025
2025년
Engineering Trustworthy Software Systems
2025년
Theoretical Aspects of Computing – ICTAC 2022
2022년
Engineering Trustworthy Software Systems
2020년
Engineering Trustworthy Software Systems
2019년
Engineering Trustworthy Software Systems
2018년
Engineering Trustworthy Software Systems
2017년
Engineering Trustworthy Software Systems
2016년
Formal Aspects of Component Software
2014년
Formal Methods and Hybrid Real-Time Systems
2007년
Domain Modeling and the Duration Calculus
2007년