DMCA

Botlan. Verification of Real-Time Specification Patterns on Time Transitions Systems (2011)

by Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
Citations:4 - 4 self