Compositional Refinement for Real-Time Systems with Priorities.

Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali

Browse the full TIME paper archive.