Technische Universtaet Dresden Department of Computer Science Dresden, Germany;
Technische Universtaet Dresden Department of Computer Science Dresden, Germany;
Technische Universtaet Dresden Department of Computer Science Dresden, Germany;
机译:编译和验证安全关键型反应系统的SC-SystemJ程序
机译:自修复安全关键网络物理系统的硬件架构
机译:安全关键型航空电子系统的软件和硬件认证:比较研究
机译:编码编译器:用商品硬件构建安全关键系统
机译:对商品硬件的可串行性和强大语义的高效编译器和运行时支持
机译:对数百万个文件系统IOPS在低成本商品硬件上
机译:aN编码编译器:使用商用硬件构建安全关键系统