防抱死制动系统

此软件的关键字
zbMATH参考文献(参考
26篇文章
引用)
Haller,Philipp;Miller,Heather:A reduction semantics for direct style asynchronous observables(2019年) Karami,Farzane;Owe,Olaf;Ramezanifarkhani,Toktam:活动物体交互范式的评估(2019) 科西莫·拉尼芙;迈克尔·莱恩哈特;卡伊·普恩;吉列尔莫·罗曼·德伊斯:演员节目的时间分析(2019年) Castegren,Elias;Wallin,Joel;Wrigstad,Tobias:Grave和atomic:使用隔离、委托和分组的并发编程(2018) 阿尔伯特,埃尔维拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;马丁马丁马丁,恩里克:从演员到哈斯凯尔的正式、资源消耗保护翻译(2017) Albert,Elvira;Flores Montoya,Antonio;Genaim,Samir;Martin Martin,Enrique:具有并行交错的循环的信赖保证终止和成本分析(2017) Ameur Boulifa,R.;Henrio,L.;Kulankhina,O.;Madelaine,E.;Savu,A.:异步组件的行为语义(2017) Azadbakht,Keyvan;Bezirgiannis,Nikolaos;de Boer,Frank S.:ABS中基于优先附件的分布式网络生成(2017) Mario Bravetti;Elena Giachino;Michael Lienhardt;Wong,Peter Y.H.:并发对象组的动态重新绑定:理论与实践(2017) Henrio,Ludovic;Rochas,Justine:多活性物体及其应用(2017) Owe,Olaf;McDowell,Charlie:关于在异步通信并发对象系统中检测过度渴望并发(2017) Albert,Elvira;Flores Montoya,Antonio;Genaim,Samir;Martin Martin,Enrique:基于角色的并发性的并行分析中可能发生(2016) Bezirgiannis,Nikolaos;de Boer,Frank:ABS:云感知编程的高级建模语言(2016) ioport公司 Kurnia,Ilham W.;Poetzsch Heffter,Arnd:使用动态I/O自动机建模参与者系统(2016) Albert Zania,产品配置;Elbert Zania,2016年产品配置 Albert,Elvira;Correas,Jesús;Puebla,Germanán;Román-Díez,Guillermo:多域增量分析引擎及其在增量资源分析中的应用(2015) Albert,Elvira;Correas,Jesús;Puebla,Germanán;Román-Díez,Guillermo:分布式系统的量化抽象配置(2015) Azadbakht,Keyvan;Serbanescu,Vlad;de Boer,Frank:使用并行数据处理单元的高性能计算应用(2015) ioport公司 Bubel,Richard;Din,Crystal Chang;Hähnle,Reiner;Nakata,Keiko:一种带有痕迹和创造的动态逻辑(2015) Din,Crystal Chang;Bubel,Richard;Hähnle,Reiner:Key ABS:并发建模语言ABS的演绎验证工具(2015)