Suche
Kategorie
9399 Treffer
- Stephan, Werner; Langenstein, Bruno; Nonnengart, Andreas et al.
- Verification Support Environment.
- Mechanizing Mathematical Reasoning. 2005 S. 476 - 493
- Rock, Georg
- Formal methods for real-time requirements engineering.
- 2004 S. 1 - 243
- Nonnengart, Andreas; Rock, Georg; Stephan, Werner
- Formal Requirements Engineering Using Observer Models.
- FASE. 2002 S. 264 - 278
- Nonnengart, Andreas; Rock, Georg; Stephan, Werner
- Using Hybrid Automata to Express Realtime Properties in VSE-II.
- FLAIRS. 2001 S. 640 - 644
- Hutter, Dieter; Langenstein, Bruno; Rock, Georg et al.
- Formal software development in the Verification Support Environment (VSE).
- J. Exp. Theor. Artif. Intell. Bd. 12. H. 4. 2000 S. 383 - 406
- Autexier, Serge; Hutter, Dieter; Langenstein, Bruno et al.
- VSE: formal methods meet industrial needs.
- Int. J. Softw. Tools Technol. Transf. Bd. 3. H. 1. 2000 S. 66 - 77
- Hutter, Dieter; Rock, Georg; H. Siekmann, Jörg et al.
- Formal Software Development in the Verification Support Environment (VSE).
- FLAIRS. 2000 S. 367 - 376
- Stephan, Werner; Rock, Georg; Brodski, Michael
- Modeling Specification and Verification of an Emergency Closing System.
- FLAIRS. 2000 S. 356 - 360
- Rock, Georg; Stephan, Werner; Wolpers, Andreas
- Modeling Dynamic Processes in TLA.
- FBT. 1999 S. 185 - 192
- Nonnengart, Andreas; Rock, Georg; Weidenbach, Christoph
- On Generating Small Clause Normal Forms.
- CADE. 1998 S. 397 - 411