Verification of Bounded Real-Time Distributed Systems With Mobility

Bogdan Aman, Gabriel Ciobanu. Verification of Bounded Real-Time Distributed Systems With Mobility. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 109-120, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.