FDT-based system and protocol engineering; FDT-application; Practical experience and case studies; Tools and tool support; Verification; validation and testing; Lotos; Labelled Transition Systems; Model-checking; Bisimulations; Hardware protocols;
机译:在工业总线通信协议规范中使用LOTOS
机译:定期贡献:验证IEEE-1394串行总线(火线)的链路层协议:E-LOTOS的实验
机译:BUSpec:用于生成标准总线协议规范的验证辅助工具的框架
机译:分布式实时仲裁协议的规范和验证
机译:有限状态机器的演员协议规范和验证
机译:并发TMS-FMRI实验中皮质靶标的高效且鲁棒识别
机译:利用RT-LOTOs进行核电厂监测系统中分布式调度算法的形式化规范和验证的实验