DMCA

Compositional Analysis of Multi-Mode Systems (2010)

by Linh T. X. Phan , Insup Lee , Oleg Sokolsky
Venue:THE 22ND EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS10). JULY 6-9, 2010. BRUSSELS, BELGIUM.
Citations:16 - 7 self