Automated Technology for Verification and Analysis المزيد من كتب Zhiming Liu & Anders P. Ravn

Theoretical Aspects of Computing – ICTAC 2025

٢٠٢٥

Engineering Trustworthy Software Systems

٢٠٢٥

Theoretical Aspects of Computing – ICTAC 2022

٢٠٢٢

Engineering Trustworthy Software Systems

٢٠٢٠

Engineering Trustworthy Software Systems

٢٠١٩

Engineering Trustworthy Software Systems

٢٠١٨

Engineering Trustworthy Software Systems

٢٠١٧

Engineering Trustworthy Software Systems

٢٠١٦

Formal Aspects of Component Software

٢٠١٤

Formal Methods and Hybrid Real-Time Systems

٢٠٠٧

Domain Modeling and the Duration Calculus

٢٠٠٧