Model Checking, Synthesis, and Learning المزيد من الكتب المشابهة

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?
٢٠١٩
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
٢٠١٩
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
٢٠٢٢
Formal Methods Formal Methods
Formal Methods
٢٠٢١
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠٢١
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
٢٠٢٢
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠٢٢
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٢
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٨
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
٢٠١٧
Symposium on Real-Time and Hybrid Systems Symposium on Real-Time and Hybrid Systems
Symposium on Real-Time and Hybrid Systems
٢٠١٨
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠٢١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٠
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
٢٠٢١
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
٢٠٢٢