Controller Synthesis for Timed Automata 1 论文

1998IFAC Proceedings Volumes引用 314
DOI
Formal Methods in VerificationPetri Nets in System ModelingReal-Time Systems Scheduling
Petri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Formal Methods in VerificationPetri Nets in System Modeling
关系图谱

4

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

约

约瑟夫·斯发基斯

A

Amir Pnueli

O

Oded Maler

E

Eugène Asarin

相关技术查看全部 (2)

Formal Methods in VerificationPetri Nets in System Modeling

相关事件

暂无数据

相关文章

暂无数据