Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.

Laura Carnevali, Luigi Sassoli, Enrico Vicario

Browse the full ECRTS paper archive.