[IEEE 2008 IEEE 11th High-Assurance Syst
โ
Berthier, Robin; Korman, Dave; Cukier, Michel; Hiltunen, Matti; Vesonder, Gregg;
๐
Article
๐
2008
๐
IEEE
โ 273 KB