Login / Signup
Tomás Ausberger
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Model Checking
Automated Verification
Temporal Logic
Test Case Generation
Top Venues
ETFA
</>
Publications
</>
Tomás Ausberger
,
Karel Kubícek
,
Pavla Medvecová
,
Jindrich Wolf
Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.
ETFA
(2022)
Tomás Ausberger
,
Karel Kubícek
,
Pavla Medvecová
,
Tomás Myslivec
,
Milan Stetina
Analytic method for automatic test case generation for Function Block Diagram.
ETFA
(2020)
Tomás Ausberger
,
Karel Kubícek
,
Pavla Medvecová
,
Tomás Myslivec
,
Milan Stetina
Model Checking application on Function Block Diagram model.
ETFA
(2020)