Computer bugs; Debugging; Observability; Controllability; Kernel; Testing;
机译:一个自动化的框架来支持对过程级竞争条件的测试
机译:Deomampo,D.跨国繁殖:印度的竞争,血缘关系和商业代理人。 纽约:纽约大学出版社。 2016年。 286pp。 £68(HBK),£23(PBK)ISBN 978-1479828388 Deomampo,D. Deomampo Deomampo,D. D.跨国繁殖:印度跨国繁殖中的种族,亲属和商业代理人:在印度的种族,血缘关系和商业代理人
机译:细胞内TI无性繁殖潮果寡头通过云杉根细胞的细胞内微菌核的无性潮果繁殖-臭氧胁迫的胜利者?
机译:RRF:用于调试过程级别比赛的种族再生框架
机译:使用属性定向可达性对活动属性进行无痕自动设计调试。
机译:BRaCE:用于调试网络物理系统的断言框架