Formal Development of a Network-Centric RTOS

Full text!
Type:
e-book
Titel:
Formal Development of a Network-Centric RTOS
Auteur:
Verhulst, Eric; Boute, Raymond T.; Faria, José Miguel Sampaio; Mezhuyev, Vitaliy; Sputh, Bernhard H.C
Taal:
Engels
Uitgever:
Springer US 2011
ISBN:
1-4419-9735-0
1-4899-9288-X
9786613351357
1-283-35135-8
1-4419-9736-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:2550000000045430