Dr.-Ing. Christian Maeder |
![]() |
||||||||||
|
DFKI GmbH Cyber-Physical Systems Gebäude MZH Bibliothekstraße 1 D-28359 Bremen |
|
Publikationen
- Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 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), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012. - Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in Hets.
In: Electronic Communications of the EASST, Vol. o.A. Page o.A. o.A. 2012. - Regivan Hugo Nunes Santiago; Christian Maeder
Linguistic Variables of Type-N - a Mathematical Model.
In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011. - Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
Integrating Maude into HETS.
In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010. - Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder
Creating a HasCASL library.
In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), located at Brazilian Conference on Software: Theory and Practice, September 27 - October 1, Salvador-Bahia, Brazil, o.A. 9/2010. - Mehr...

