Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1999
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 101.

  1. Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

    VSE: Controlling the Complexity in Formal Software Developments

    In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany, Pages 351-358, Lecture Notes in Computer Science (LNCS), Vol. 1641, ISBN 978-3-540-66462-8, Springer-Verlag, Berlin, Heidelberg, 1999.

  2. Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

    Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98

    Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.

  3. Dieter Hutter

    Annotated Reasoning

    In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on Automated Deduction (CADE), 1999.

  4. Dieter Hutter

    Workshop on Automation of Proofs by Mathematical Induction

    Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.

  5. Georg Rock; Werner Stephan; Andreas Wolpers

    Modular Reasoning about Structured TLA Specifications

    In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for System Specification, Development and Verification, Pages 217-229, Advances in Computing Science, Springer, 1999.

  6. Georg Rock; Werner Stephan; Andreas Wolpers

    Modeling Dynamic Processes in TLA

    In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, Pages 185-192, Herbert Utz Verlag, 1999.

  7. Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

    Structured Formal Development in VSE II: The Robertino Case Study

    In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS / ISA-EUNET Event (ENCRESS-99), 3rd, May 3-5, Bad Honnef, Germany, Pages 138-152, Bericht ISTec-A-367, ISBN 3-00-004872-3, ISTec, 1999.

  8. Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Christopher J. Rupp; Karsten L. Worm

    Charting the Depths of Robust Speech Parsing

    In: ACL (Hrsg.). 37th Annual Meeting of the Association for Computational Linguistics (ACLANNUAL '99), June 20-26. Annual Meeting of the Association for Computational Linguistics (ACL), University of Maryland, College Park, USA, Pages 405-412, 1999.

  9. Gregor Erbach; Dagmar Unz; Joanne Capstick

    Interface-Design zur Unterstützung von Selektionsentscheidungen

    In: Werner Wirth; Wolfgang Schweiger (Hrsg.). Selektion im Internet. Westdeutscher Verlag, 1999.

  10. Hui Xu

    English-Style and Chinese-Style Topic: A Uniform Semantic Analysis

    In: Jhing-Fa Wang; Wu Chung-Hsien (Hrsg.). 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, Information and Computation (PACLIC), Taipei, Taiwan, 1999.

Jahr