Amanote Research
Register
Sign In
Model Classifications and Automated Verification
doi 10.1007/978-3-540-79707-4_12
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Radek Pelánek
Publisher
Springer Berlin Heidelberg
Related search
Towards Automated fUML Model Verification With Petri Nets
Automated Creation of Verification Model for C-Programs
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Rapid, Automated, Test, Verification and Validation for the CubeSats
International Journal of Space Science and Engineering
Control
Systems Engineering
Space
Planetary Science
Computer Science Applications
Aerospace Engineering
Automated Verification and Test Case Generation for Input Validation
Automated Verification of Care Pathways Using Constraint Programming
IEEE Journal of Biomedical and Health Informatics
Health Information Management
Biotechnology
Computer Science Applications
Electrical
Electronic Engineering
