Martin Vlk

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 1

Top Topics

Safety Critical

Hybrid Approaches

Conceptual Model

Top Venues

Publications

Sarvesh Patankar, Sainath Karlapalem, Sakshi Biyani, Wen Chen, Roman Chovanec, Martin Vlk, Martin Kaspar
Hybrid Methodology for Verification of SW Safety Mechanisms. VTS (2021)
Karel Charvát, Premysl Vohnout, Stepán Kafka, Jachym Cepicky, Jan Jezek, Martin Vlk, Petr Horak
Monitoring and Environmental Information Sharing Regarding Climate Change. EnviroInfo (2) (2009)
Petr Horak, Karel Charvát, Martin Vlk
Web Tools for Geospatial Data Management. ISD (2008)
Zdenek Kolka, Martin Vlk, Dalibor Biolek, Viera Biolková
Symbolic Analysis Based on Graph Transformations. ICECS (2007)