A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Marco Fischer | Stefan Förster | André WindischFebruar 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 |