Language:
English
繁體中文
Help
回圖書館
Login
Jump To :
Overview
Titles
Subjects
Computer systems - Verification.
Overview
Works:
4 works in 4 publications in 4 languages
Titles
Scalable techniques for formal verification
by:
(Electronic resources)
Principles of model checking
by:
(Electronic resources)
Verification and control of hybrid systems = a symbolic approach /
by:
(Electronic resources)
25 Years of Model Checking = History, Achievements, Perspectives /
by:
(Electronic resources)
Subjects
Software Engineering.
Hybrid systems.
Formal methods (Computer science)
Circuits and Systems.
Mathematics.
Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Digital control systems.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Control.
Computer software- Verification.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Models and Principles.
Automatic theorem proving.
Systems Theory, Control.
Computer systems- Verification.
Processing
...
Change password
Login