Pavla Medvecová
According to our database1,
Pavla Medvecová
authored at least 3 papers
between 2020 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020