Searching for authors named Johann Schumann – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Combining Automated Theorem Provers with Symbolic Algebraic Systems
- … Ames email: schumann@(email omitted); Postal address: Johann Schumann 2680 Fayette Dr. # 202…
- Add To MetaCart
-
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols
- …PIL/SETHEO: ATool for the Automatic Analysis of Authentication Protocols ? Johann Schumann…
- Add To MetaCart
-
Automated Theorem Proving In High-Quality Software Design
- …JOHANN SCHUMANN AUTOMATED THEOREM PROVING IN HIGH-QUALITY SOFTWARE DESIGN 1. INTRODUCTION…
- Cited by 2 (0 self) – Add To MetaCart
-
Automated Theorem Proving in Software Engineering
- …Automated Theorem Proving in Software Engineering --- Position Paper --- Johann Schumann…
- Cited by 7 (2 self) – Add To MetaCart
-
Automatic Debugging Support for UML Designs
- …Automatic Debugging Support for UML Designs Johann Schumann RIACS / NASA Ames, Mo ett Field, CA…
- Cited by 2 (1 self) – Add To MetaCart
-
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS - A Case Study
- … ? --- A Case Study --- Johann Schumann Institut fur Informatik Technische Universitat Munchen 80290…
- Cited by 4 (0 self) – Add To MetaCart
-
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract
- …DELTA --- A Bottom-up Preprocessor for Top-Down Theorem Provers --- System Abstract --- ? Johann M…
- Cited by 14 (3 self) – Add To MetaCart
-
Efficient Theorem Provers based on an Abstract Machine
- … on an Abstract Machine Johann M. Ph. Schumann Vollstandiger Abdruck der von der Fakultat fur Mathematik und…
- Cited by 3 (1 self) – Add To MetaCart
-
Automated Theorem Proving in Software Engineering --- Position Paper ---
- …Automated Theorem Proving in Software Engineering --- Position Paper --- Johann Schumann…
- Add To MetaCart
-
Scenario-Based Engineering Of Multi-Agent Systems
- …, jonthwernil.rc.ns.gov Johann Schumann RIACS I NASA Ames, schumannemail.arc.nasa.gov 1. Introduction A…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
