A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems

Marco Fischer | Stefan Förster | André Windisch

---

Februar 2003

Typ	InProceedings
Serie	Berichte aus der Informatik
Quelle	Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Verlag	Shaker Verlag Aachen Deutschland
Adresse	Bremen, Germany
ISBN	3-8322-1202-7
Bibtex	Anzeigen @InProceedings{MaFiStFÃAnWi03,      address      = {Bremen, Germany},      author       = {Marco Fischer, Stefan Förster, André Windisch},      title        = {A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems},      publisher    = {Shaker Verlag},      series       = {Berichte aus der Informatik},      month        = {February},      year         = {2003},      isbn         = {3-8322-1202-7},      booktitle    = {Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, }