Vol-2650⫷ Vol-2651 ⫸Vol-2652
urn:nbn:de:0074-2651-0


Vol-2651/paper13⫷Vol-2651/posterextabs1⫸Vol-2651/posterextabs2
Vincent IampietroDavid Andreu 0001David Delahaye

Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets