Symposium on Real-Time and Hybrid Systems المزيد من الكتب المشابهة

Formal Methods Formal Methods
Formal Methods
٢٠٢١
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?
Models, Mindsets, Meta: The What, the How, and the Why Not?
٢٠١٩
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٢
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
٢٠٢٢
Model Checking, Synthesis, and Learning Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
٢٠٢١
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
٢٠١٩
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠٢١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٨
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠٢٢
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٠
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢٢
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٧
A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning
A Journey from Process Algebra via Timed Automata to Model Learning
٢٠٢٢
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
٢٠٢٢
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠٢٢