dblp.uni-trier.dewww.uni-trier.de

Stefan Förster

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EENorbert Oswald, Stefan Förster, Herwig Moser, Toni Reichelt, André Windisch: An Architectural Framework for Cooperative Civil and Military Mission Scenarios. AMS 2007: 110-113
6 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. ICINCO-ICSO 2007: 284-291
5EEToni Reichelt, Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser: IP Based Transport Abstraction for Middleware Technologies. ICNS 2007: 39
2004
4EEStefan Förster, André Windisch, M. Fischer, Dieter Monjau, Wolfram Hardt: A Methodology for Embedded System Design supporting Layered Platforms. FDL 2004: 544-556
2003
3EEM. Fischer, André Windisch, Stefan Förster, B. Balser, Dieter Monjau: A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. FDL 2003: 447-456
2EEStefan Förster, M. Fischer, Dieter Monjau, André Windisch, B. Balser: Process Algebraic Specification, Refinement, and Verification of Embedded Systems. FDL 2003: 525-536
1EEStefan Förster, M. Fischer, André Windisch, B. Balser, Dieter Monjau: A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. IEEE International Workshop on Rapid System Prototyping 2003: 26-32

Coauthor Index

1B. Balser [1] [2] [3]
2M. Fischer [1] [2] [3] [4]
3Wolfram Hardt [4]
4Dieter Monjau [1] [2] [3] [4]
5Herwig Moser [5] [6] [7]
6Norbert Oswald [5] [6] [7]
7Toni Reichelt [5] [6] [7]
8André Windisch [1] [2] [3] [4] [5] [6] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)