Guest editorial: Verification of hybrid systems

被引：3

作者：

Maler, O ^{[1
]}

机构：

[1] CNRS Verimag, Ctr Equat, F-38610 Gieres, France

来源：

关键词：

D O I：

10.3166/ejc.7.357-365

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：357 / 365

页数：9

共 50 条

[31] Integrated Manufacturing Systems: Guest editorial
McIvor, Ronan
[J]. Integrated Manufacturing Systems, 2002, 13 (08):
[32] Integrated Manufacturing Systems: Guest editorial
Yusuf, Y.Y.
[J]. Integrated Manufacturing Systems, 2003, 14 (06):
[33] Integrated Manufacturing Systems: Guest editorial
Huang, George
Mak, K.L.
Jiang, P.Y.
[J]. 2002, Emerald (13):
[34] Guest Editorial [Guest Editorial]
Chang, Ching-Ray
Lai, Chao Sung
[J]. IEEE NANOTECHNOLOGY MAGAZINE, 2023, 17 (06) : 5 - 5
[35] Editorial: Hybrid Systems
Ernst-Rüdiger Olderog
Anders P. Ravn
[J]. Acta Informatica, 2007, 43 : 449 - 450
[36] Editorial: Hybrid systems
Olderog, Ernst-Ruediger
Ravn, Anders P.
[J]. ACTA INFORMATICA, 2007, 43 (07) : 449 - 450
[37] SPECIAL ISSUE ON ELECTRIC AND HYBRID VEHICLES - GUEST EDITORIAL
KIRK, RS
HALL, RT
[J]. IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 1983, 32 (01) : 1 - 2
[38] Benchmarks for hybrid systems verification
Fehnker, A
Ivancic, R
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 326 - 341
[39] Verification Techniques for Hybrid Systems
Prabhakar, Pavithra
Soto, Miriam Garcia
Lal, Ratan
[J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 833 - 842
[40] Verification of clocked and hybrid systems
Kesten, Y
Manna, Z
Pnueli, A
[J]. ACTA INFORMATICA, 2000, 36 (11) : 837 - 912