A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra

Stefan Förster | Marco Fischer | André Windisch | Burkhard Balser | Dieter Monjau

---

Juni 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 @InProceedings{StFÃMaFiAnWiBuBaDiMo03,      address      = {San Diego, CA},      author       = {Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau},      title        = {A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra},      organization = {IEEE Computer Society},      note         = {ISSN: 1074-6005},      pages        = {26--32},      month        = {June},      year         = {2003},      isbn         = {0-7695-1943-1},      booktitle    = {Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP)}, }