project publication

Ontology-based assessment of software models and development processes for safety-critical systems

Publication Type:

Conference Paper

Source:

Monographs of System Dependability , Volume 2, Brunow, Poland, p.1-12 (2010)

Model-based Integration Framework for Development and Testing Tool-chains

Publication Type:

Conference Paper

Source:

FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems, Springer Verlag, Berlin, p.227-235 (2011)

Syndicate content