Verifying Distributed Adaptive Real-Time (DART) Systems Poster (SEI 2015 Research Review)
October 2015 • Poster
Sagar Chaki, Dionisio de Niz
This poster describes the authors' research efforts in verifying distributed adaptive real-time systems.
Publisher:
Software Engineering Institute
Abstract
The vision of this work is