Dipt. di Ing. dell'Inf. Univ. Politec. delle Marche Ancona Italy;
Software Eng. Res. Group Alpen Adria Univ. Klagenfurt Austria;
Java; Software; Security; Real-time systems; Automata; Protocols; Computational modeling;
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:通过Java和具有参数模型检查功能的设计方法对具有实时约束的单总线系统进行建模
机译:朝着建模检查实时Java软件的安全性
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:朝着模型检查现实世界的软件定义网络
机译:使用Javapathfinder检查实时Java的模型