Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /

ανά Verhulst, Eric, Boute, Raymond T., Faria, José Miguel Sampaio, Sputh, Bernhard H.C, Mezhuyev, Vitaliy
Έκδοση 2011

Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

Έκδοση 2004