University at Buffalo (SUNY), Buffalo, NY 14260;
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序的运行时检查生成实时程序
机译:Archer:运行时环境驱动程序安全
机译:C编程语言的内存安全性的运行时增强
机译:在具有心血管安全要求的新监管环境中的2型糖尿病开发计划
机译:运行时间驱动的任务并行程序的共享最后一级缓存管理