Publication
-
January 2015
-
January 2015
-
The role of supervisory controller synthesis in automatic control software development Article
Science of Computer Programming, 97(1), 17-22.January 2015
-
Quality Evaluation of Automotive Software Systems Presentation
January 2015 -
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article
Mathematical Structures in Computer ScienceJanuary 2015
-
January 2015
-
January 2015
-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)January 2015