海龟-P
zbMATH参考文献(参考
5篇文章
Bianco,Vieri del;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于uML的基于组件的实时软件的形式化规范(2007) ioport公司 Ludovic,Apvrille;De Saqui Sannes,Pierre;Khendek,Ferhat:TURTLE-P:关键和分布式系统正式验证的UML概要文件(2006) ioport公司 Sadani,Tarek;Boyer,Marc;de Saqui Sannes,Pierre;Courtiat,Jean-Pierre:用有限时间Petri网有效表示RT-LOTOS项(2006) Ludovic,Apvrille;Courtiat,Jean-Pierre;Lohr,Christophe;de Saqui Sannes,Pierre:TURTLE:由正式验证工具包支持的实时UML概要文件(2004) ioport公司 Del Bianco,Vieri;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于UML的基于组件的实时软件的形式化规范(2003)