Model-based design, analysis and assessment framework for safety-critical systems.

Kuen-Long Lu, Yung-Yuan Chen

Browse the full DSN paper archive.