Cyber-Physical Systems

Seite 5 von 14.

1. Till Mossakowski; Serge Autexier; Dieter Hutter

   Development Graphs -- Proof Management for Structured Specifications

   In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1--2, Pages 114-145, 2006.

2. Till Mossakowski; Serge Autexier; Dieter Hutter

   Development Graphs -- Proof Management for Structured Specifications

   In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.

3. Dieter Hutter; Markus Ullmann (Eds.)

   Proceedings of the Second International Conference on Security in Pervasive Computing

   Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.

4. Dieter Hutter; Werner Stephan

   Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann

   Springer-Verlag, LNCS 2605, 2005.

5. Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland

   Rippling: Meta-level Guidance for Mathematical Reasoning

   Cambridge University Press, 2005.

6. Serge Autexier; Dieter Hutter

   Mind the Gap - Maintaining Formal Developments in MAYA

   In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.

7. Dieter Hutter; Werner Stephan

   A Portrait of a Scientist: Logics, AI and Politics

   In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.

8. Dieter Hutter

   Software Certification Management: How Can Formal Methods Help?

   In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent05). Automated Software Engineering …

9. Fernando Godínez; Dieter Hutter; Raul Monroy

   Audit file reduction using n-gram models

   In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security, Lecture Notes in Computer Science, …

10. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Role of Information Compaction to Intrusion Detection

    In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and …

• vorherige
• 1
• …
• 4
• 5
• 6
• …
• 14
• nächste