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;
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
DOI :
10.1109/SIES.2010.5551363
