A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu. A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. In Alain Plantec, Frank Singhoff, Sébastien Faucou, Luís Miguel Pinho, editors, Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016. pages 3-12, ACM, 2016. [doi]

This author has not been identified. Look up 'Simin Cai' in GoogleThis author has not been identified. Look up 'Barbara Gallina' in GoogleThis author has not been identified. Look up 'Dag Nyström' in GoogleThis author has not been identified. Look up 'Cristina Seceleanu' in Google

runs on WebDSL