logo
Verification and model checking using nets

カンファレンス検索結果 (1)

International Conference on the Application and Theory of Petri Nets and Concurrency (Petri Nets)

Rank: B
Hamburg, Germany
Jun 22, 2026
Analysis and synthesisSystem design and model-driven development using netsRelationships between Petri nets and other approaches+11 その他