Probabilistically Analysable Real-Time Systems

Toward Probabilistic Real-Time Calculus

Publication Type:

Conference Paper

Source:

3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), in conjunction with IEEE RTSS 2010, San Diego (2010)