Ciobanu, Gabriel, Romania
-
Volume 20: Foundations and Techniques for Open Source Certification 2009 - Articles
Model-based Testing and Analysis of Coordinated Components
Abstract PDF -
Volume 22: Formal Methods for Interactive Systems 2009 - Articles
Markov Abstractions for Probabilistic Pi-Calculus
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.