Skip to content

Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation.

Daniel Ratiu, Marc Zeller, Lennart Killian

Year2015
ProceedingsSAFECOMP Workshops

Browse the full SAFECOMP paper archive.