Distributed reactive systems are hard to synthesize 论文

2002引用 362
DOI
Formal Methods in VerificationLogic, programming, and type systemsPetri Nets in System Modeling
Logic, programming, and type systemsPetri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Distributed reactive systems are hard to synthesize · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification