Code Generation for Timed Automata System Specifications Considering Target Platform Resources-Restrictions

Daniel Opp | Mirko Caspar | Wolfram Hardt

---

Mai 2011

Typ	InProceedings
Quelle	Proceedings of IC2IT 2011 S. 144 - 149
Einrichtung	King Mongkut's University of Technology North Bangkok (KMUTNB) Bangkok Thailand
Einrichtung	King Mongkut's University of Technology North Bangkok (KMUTNB) Bangkok Thailand
Verlag	King Mongkut's University of Technology North Bangkok (KMUTNB) Bangkok Thailand
Adresse	Bangkok, Thailand
ISBN	978-974-19-3332-7
Bibtex	Anzeigen @InProceedings{DaOpMiCaWoHa11,      address      = {Bangkok, Thailand},      author       = {Daniel Opp, Mirko Caspar, Wolfram Hardt},      title        = {Code Generation for Timed Automata System Specifications Considering Target Platform Resources-Restrictions},      institution = {King Mongkut's University of Technology North Bangkok (KMUTNB)},      organization = {King Mongkut's University of Technology North Bangkok (KMUTNB)},      publisher    = {King Mongkut's University of Technology North Bangkok (KMUTNB)},      pages        = {144--149},      month        = {May},      year         = {2011},      isbn         = {978-974-19-3332-7},      booktitle    = {Proceedings of IC2IT 2011}, }