Projekt | FormalSafe

Publikationen zum Projekt

1. SmartTies - Management of Safety-Critical Developments

   Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder

   In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609,…
2. Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

   Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev

   In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg,…
3. Linguistic Variables of Type-N - a Mathematical Model

   Regivan Hugo Nunes Santiago; Christian Maeder

   In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011.