税收

此软件的关键字
zbMATH中的参考文献(参考
21篇文章
引用, 1标准件 )
Jaghoori,Mohammad Mahdi;de Boer,Frank;Longuet,Delphine;Chothia,Tom;Sirjani,Marjan:基于实时角色的系统的组合可调度性分析(2017) Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013) Ghosal,Arkadeb;Iercan,Daniel;Kirsch,Christoph M.;Henzinger,Thomas A.;Sangiovanni Vincentelli,Alberto:将分层实时程序单独编译成线性有界嵌入式机器码(2012) ioport公司 Ju,Lei;Huynh,Bach Khoa;Roychoudhury,Abhik;Chakraborty,Samarjit:Esterel规范的性能调试(2012) ioport公司 Bauer,Kerstin;Schneider,Klaus:从同步程序到混合系统的符号表示(2010) Bucci,Giacomo;Carnevali,Laura;Ridi,Lorenzo;Vicario,Enrico:实时系统建模、验证和评估工具(2010) ioport公司 de Boer,Frank;Chothia,Tom;Jaghoori,Mohammad Mahdi:Creol中并发对象的模块化可调度性分析(2010) de Boer,Frank S.;Jaghoori,Mohammad Mahdi;Johnsen,Einar Broch:确定并发对象的日期:实时建模和可调度性分析(2010) ioport公司 Jaghoori,Mohammad Mahdi;de Boer,Frank S.;Chothia,Tom;Sirjani,Marjan:异步实时并发对象的可调度性(2009) Bianco,Vieri del;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于uML的基于组件的实时软件的形式化规范(2007) ioport公司 Carloni,Luca P.;Passerone,Roberto;Pinto,Alessandro;Sangiovanni Vincentelli,Alberto L.:混合动力系统设计的语言和工具。 (2006年) Poddar,Rajiv Kumar;Bhaduri,Purandar:基于Giotto的嵌入式控制系统验证(2006) Tripakis,Stavros;Yovine,Sergio;Bouajjani,Ahmed:有效地检查定时Büchi自动机的空性(2005) Ghosal,Arkadeb;Henzinger,Thomas A.;Kirsch,Christoph M.;Sanvido,Marco A.A.:具有逻辑执行时间的事件驱动编程(2004) Del Bianco,Vieri;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于UML的基于组件的实时软件的形式化规范(2003) Graf,Susanne:SDL中时间和持续时间限制的表达(2003) Dillenseger,Bruno;Tagant,Anne Marie;Hazard,Laurent:用Moorea反应式移动代理编程和执行电信服务逻辑(2002) Koo,T.John;Liebman,Judith;Ma,Cedric;Benjamin Horowitz;Alberto Sangiovanni Vincentelli;Sastry,Shankar:多车辆多模态系统基于平台的嵌入式软件设计(2002) Sifakis,Joseph:基于控制器综合范式的调度器建模(2002) ioport公司 克罗斯,艾蒂安;波伊兹,米歇尔;普劳,雅克;斯法基斯,约瑟夫;文特,帕特里克:用于开发和验证实时嵌入式系统的工具(2001)