DocumentCode
1613287
Title
[Front matter]
fYear
2010
Abstract
The paper deals with the following topics:industrial systems; production scheduling; system-on-chips; computer networks; wireless sensor networks; embedded systems; and formal verification.
Keywords
computer networks; embedded systems; formal verification; production engineering computing; scheduling; system-on-chip; wireless sensor networks; computer networks; embedded systems; formal verification; industrial systems; production scheduling; system-on-chips; wireless sensor networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Embedded Systems (SIES), 2010 International Symposium on
Conference_Location
Trento
Print_ISBN
978-1-4244-5839-4
Electronic_ISBN
978-1-4244-5840-0
Type
conf
DOI
10.1109/SIES.2010.5551363
Filename
5551363
Link To Document