[IEEE 10th IEEE High Assurance Systems E
โ
Joshi, Anjali; Heimdahl, Mats P.E.
๐
Article
๐
2007
๐
IEEE
โ 529 KB