Searching for authors named Ina Schaefer – sorted by Relevance.
4 documents found, showing 1 through 4.
-
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
- …From Model-Based Design to Formal Verification of Adaptive Embedded Systems ⋆ Rasmus Adler 1 , Ina…
- Cited by 1 (1 self) – Add To MetaCart
-
Specification and verification of dynamic communication systems
- …@(email omitted);) Universität des Saarlandes, 66041 Saarbrücken, Germany, Phone/Fax: +49-681-302-5583/3065 Ina Schaefer…
- Cited by 4 (3 self) – Add To MetaCart
-
On Translation Validation for System Abstractions
- …Translation Validation of System Abstractions ⋆ Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch…
- Cited by 1 (1 self) – Add To MetaCart
-
Using Abstraction in Modular Verification of Synchronous Adaptive Systems
- …Using Abstraction in Modular Verification of Synchronous Adaptive Systems Ina Schaefer and Arnd…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 4.
