Altin Qeriqi

Publication Activity (10 Years)

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

Top Topics

Formal Specification

Support Systems

Top Venues

Publications

Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK (2016)