Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Radek Pelánek
Model Classifications and Automated Verification
Related publications
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
