Technische Informatik
Publikationen

 in  

Publikationstyp:  Jahr:  bis 
Anzahl: 5 10 25 50 100 Alle
Seiten: << < 1 2 3 4 > >>

InProceedings

2005


André Windisch and Stefan Förster and Marco Fischer and Schlatt
AADL-Modelling of Plug&Play Weapon System Architecture
IN Proceedings of the AADL Workshop 2005, page 121 - 132, October 2005.

2004


Stefan Förster and André Windisch and Marco Fischer and Dieter Monjau and Wolfram Hardt
A Methodology for Embedded Systems Design supporting Layered Platforms
IN Proceedings of Forum on Specification and Design Languages (FDL'04), page 544 - 555, September 2004.

2003


Dieter Monjau and Burkhard Balser and Marco Fischer and André Windisch and Stefan Förster
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.

Stefan Förster and André Windisch and Marco Fischer and Dieter Monjau and Burkhard Balser
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.

Stefan Förster and Marco Fischer and André Windisch and Burkhard Balser and Dieter Monjau
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1

Seiten: << < 1 2 3 4 > >>

TUCaktuell