[IEEE 10th IEEE High Assurance Systems E
โ
Bruning, Stefan; Weissleder, Stephan; Malek, Miroslaw
๐
Article
๐
2007
๐
IEEE
โ 483 KB