Pavla Medvedcova

According to our database, Pavla Medvedcova authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams.

Tomás Ausberger, Karel Kubícek, Pavla Medvedcova

IEEE Access, 2025