Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
复制标题
时空掺杂检测的一致性关系和超性质
DOI：
10.46298/lmcs-18(1:14)2022
复制
发表时间：
2022
影响因子：
0.6
通讯作者：
Biewer S
中科院分区：
文献类型：
--
作者：
Biewer S
登录
查看更多内容
DOI：
10.4230/lipics.concur.2015.18
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Narges Khakpour;M. Mousavi
通讯作者：
Narges Khakpour;M. Mousavi
Parasim 中重新审视 STL* 的野蛮鲁棒性监控
DOI：
--
发表时间：
2019
期刊：
Computational Methods in Systems Biology
影响因子：
--
作者：
David Šafránek;Matej Troják;Vojtech Bruza;Tomás Vejpustek;Jan Papousek;M. Demko;Samuel Pastva;A. Pejznoch;L. Brim
通讯作者：
L. Brim
DOI：
--
发表时间：
1964
期刊：
SWCT 1964
影响因子：
--
作者：
F. C. Hennine
通讯作者：
F. C. Hennine
DOI：
--
发表时间：
2020
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
Maciej Gazda;M. Mousavi
通讯作者：
M. Mousavi
影响因子：
0.8
作者：
Finkbeiner, Bernd;Hahn, Christopher;Tentrup, Leander
通讯作者：
Tentrup, Leander