Pavla Medvecová

According to our database, Pavla Medvecová authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2022

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Jindrich Wolf

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2020

Model Checking application on Function Block Diagram model.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Analytic method for automatic test case generation for Function Block Diagram.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020