Paper-Conference

Incremental Fault-Tolerant Design in an Object-Oriented Setting
Proc. APAQS 2001
Preprint Cite DOI
Specification of Distributed Systems with a Combination of Graphical and Formal Languages
Proc. APSEC 2001
Preprint Cite DOI