Search results for: F. Kordon
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 6 > 653-673
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 590-610
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Petri Nets > 307-322
Formal Methods for Embedded Distributed Systems > Building and Validating Operational Aspects > 171-211
Formal Methods for Embedded Distributed Systems > Building and Validating Operational Aspects > 171-211
Fundamenta Informaticae > 2009 > Vol. 94, nr 3/4 > 413-437