Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 51 bis 60 von 171
  1. Formal Software Development in the Verification Support Environment

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

  2. Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

    Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

    In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …

  3. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

  4. Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

  5. Management of Change in Verification Systems

    In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software …

  6. The Use of Formal Methods for Trusted Digital Signature Devices

    In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

  7. Georg Rock; Werner Stephan; Michael Brodski

    Modeling, Specification and Verification of an Emergency Closing System

    In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.

  8. Stefan Agne; Markus Rogger; Jörg Rohrschneider

    Benchmarking of Document Page Segmentation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document and Recognition and Retrieval VII. SPIE Conference on Document Recognition and Retrieval …

  9. Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: Günther Ruhe; Frank Bomarius (Hrsg.). Learning Software Organizations - Methodology and Applications. International Conference on Software …

  10. Andreas Abecker; Ansgar Bernardi; Heiko Maus; Michael Sintek; Claudia Wenzel

    Information Supply for Business Processes - Coupling Workflow with Document Analysis and Information Retrieval

    In: Knowledge-Based Systems (KBS), Vol. 13, No. 5, Elsevier, 2000.