Compositional Refinement for Real-Time Systems with Priorities

Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali. Compositional Refinement for Real-Time Systems with Priorities. In Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani, editors, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. pages 57-64, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.