Search the dblp DataBase

Publications of Author

1. Stefan Förster, M. Fischer, André Windisch, B. Balser, D. Monjau
   A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2003, pp:26-32 [Conf]
   
2. Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser, Toni Reichelt
   A service-oriented framework for manned and unmanned systems to support network-centric operations. [Citation Graph (0, 0)][DBLP]
   ICINCO-ICSO, 2007, pp:284-291 [Conf]
   
3. 
   An Architectural Framework for Cooperative Civil and Military Mission Scenarios. [Citation Graph (, )][DBLP]
   
   
4. 
   IP Based Transport Abstraction for Middleware Technologies. [Citation Graph (, )][DBLP]
   
   
5. 
   Process Algebraic Specification, Refinement, and Verification of Embedded Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. [Citation Graph (, )][DBLP]
   
   
7. 
   A Methodology for Embedded System Design supporting Layered Platforms. [Citation Graph (, )][DBLP]
   
   
8. 
   Context-sensitive Plan Execution Language for Adaptive Robot Behaviour. [Citation Graph (, )][DBLP]