A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
Stefan Förster | Marco Fischer | André Windisch | Burkhard Balser | Dieter MonjauJuni 2003
Typ | InProceedings |
Quelle | Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP) S. 26 - 32 |
Einrichtung | IEEE Computer Society |
Adresse | San Diego, CA |
ISBN | 0-7695-1943-1 |
Zusatz | ISSN: 1074-6005 |
Bibtex |
Anzeigen |