SmartTies - Management of Safety-Critical Developments
@inproceedings{ADHLM-12-a, author = {Serge Autexier and Dominik Dietrich and Dieter Hutter and Christoph L\"uth and Christian Maeder}, editor = {Tiziana Margaria and Bernhard Steffen }, booktitle = {Proceedings 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12)}, title = {SmartTies - Management of Safety-Critical Developments}, series = {LNCS}, publisher = {Springer}, address = {Amirandes, Heraclion, Crete}, month = {october}, year = {2012}, }