Tomasz Ladzinski

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Epistemic Logic

Safety Critical

Top Venues

Publications

Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. CoRR (2022)