Automatic verification of application-tailored OSEK kernels
Automatic verification of application-tailored OSEK kernels
复制标题
自动验证应用程序定制的 OSEK 内核
DOI：
10.23919/fmcad.2017.8102260
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Daniel Lohmann
中科院分区：
文献类型：
--
作者：
Hans-Peter Deifel;Merlin Göttlinger;Stefan Milius;Lutz Schröder;Christian Dietrich;Daniel Lohmann
登录
查看更多内容
DOI：
10.1007/3-540-45319-9_1
发表时间：
2001-04
期刊：
--
影响因子：
--
作者：
Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
DOI：
10.1049/cce:19900039
发表时间：
1990
期刊：
Computing & Control Engineering Journal
影响因子：
--
作者：
M. Barton
通讯作者：
M. Barton
基于形式模型的特定应用静态 RTOS 的综合
DOI：
10.1145/3015777
发表时间：
2017
期刊：
ACM Transactions on Embedded Computing Systems (TECS)
影响因子：
--
作者：
Tigori Kabland Toussaint Gautier;Jean;Sébastien Faucou;O. Roux
通讯作者：
O. Roux
RTSC：利用从事件触发系统到时间触发系统的迁移
DOI：
10.1109/isorc.2010.11
发表时间：
2010
期刊：
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
影响因子：
--
作者：
F. Scheler;Wolfgang Schröder
通讯作者：
Wolfgang Schröder