Searching for authors named "Oscar Slotosch" – sorted by Relevance.
-
Higher Order Quotients and their Implementation in Isabelle HOL
- Higher Order Quotients and their Implementation in Isabelle HOL Oscar Slotosch ? Technische
- Cited by 4 (0 self) – Add To MetaCart
-
Overview over the Project QUEST
- Overview over the Project Oscar Slotosch Institut fur Informatik, Technische Universitat Munchen
- Cited by 10 (2 self) – Add To MetaCart
-
Enriching the Software Development Process by Formal Methods
- Enriching the Software Development Process by Formal Methods ? Manfred Broy, Oscar Slotosch
- Cited by 6 (3 self) – Add To MetaCart
-
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
- the Sonderforschungsbereich 342. Jan Philipps and Oscar Slotosch Institut für Informatik Technische Universität München 80290
- Cited by 14 (5 self) – Add To MetaCart
-
Quest Users Guide
- Quest Users Guide Peter Braun, Heiko Lötzbeyer, Oscar Slotosch Version 1.0 of March 7, 2000
- Add To MetaCart
-
MoDe: A Method for System-Level Architecture Evaluation
- TU Mnchen 85748 Garching, Germany romberg@(email omitted); Oscar Slotosch, Gabor Hahn Validas AG
- Add To MetaCart
-
Model-Based Development of Embedded Systems
- Model-Based Development of Embedded Systems Franz Huber, Jan Philipps, Oscar Slotosch Validas AG
- Add To MetaCart
-
Developing Correct Safety Critical, Hybrid, Embedded Systems
- Systems Alexander Pretschner, Oscar Slotosch, Thomas Stauner Institut fur Informatik, Technische
- Cited by 7 (7 self) – Add To MetaCart
-
Specification Based Test Sequence Generation with Propositional Logic
- with Propositional Logic G. Wimmel, H. Lotzbeyer, A. Pretschner, and O. Slotosch Institut fur Informatik
- Cited by 20 (15 self) – Add To MetaCart
-
Traffic Lights - An AutoFocus Case Study
- Tra c Lights - An AutoFocus Case Study Franz Huber, Sascha Molterer, Bernhard Schatz, Oscar
- Cited by 6 (4 self) – Add To MetaCart

