Eingebettete Intelligenz

Seite 1 von 1.

1. Mihai Codescu; Till Mossakowski; Christian Maeder

   Checking conservativity with Hets

   In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), …

2. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

   The VSE Refinement Method in Hets

   In: Electronic Communications of the EASST, 2013.

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

   SmartTies - Management of Safety-Critical Developments

   In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and …

4. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

   The VSE Refinement Method in Hets

   In: Electronic Communications of the EASST, 2012.

5. 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.

6. 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 …

7. 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 …

8. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

   The VSE Refinement Method in HETS

   In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on …

9. Till Mossakowski; Christian Maeder; Klaus Lüttich

   The Heterogeneous Tool Set

   In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems …

10. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.

• 1