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

André Windisch

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

2007
8EENorbert Oswald, Stefan Förster, Herwig Moser, Toni Reichelt, André Windisch: An Architectural Framework for Cooperative Civil and Military Mission Scenarios. AMS 2007: 110-113
7 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
6EEToni Reichelt, Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser: IP Based Transport Abstraction for Middleware Technologies. ICNS 2007: 39
2004
5EEStefan Förster, André Windisch, M. Fischer, Dieter Monjau, Wolfram Hardt: A Methodology for Embedded System Design supporting Layered Platforms. FDL 2004: 544-556
2003
4EEM. 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
3EEStefan Förster, M. Fischer, Dieter Monjau, André Windisch, B. Balser: Process Algebraic Specification, Refinement, and Verification of Embedded Systems. FDL 2003: 525-536
2EEStefan 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
2001
1EEAndré Windisch, Dieter Monjau: An operational framework for the multi-lingual system simulation based on pi-calculus. SCCC 2001: 282-291

Coauthor Index

1B. Balser [2] [3] [4]
2M. Fischer [2] [3] [4] [5]
3Stefan Förster [2] [3] [4] [5] [6] [7] [8]
4Wolfram Hardt [5]
5Dieter Monjau [1] [2] [3] [4] [5]
6Herwig Moser [6] [7] [8]
7Norbert Oswald [6] [7] [8]
8Toni Reichelt [6] [7] [8]

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