Statistical Model Checking of Distributed Adaptive Real-Time Software.

David Kyle, Jeffery P. Hansen, Sagar Chaki

Browse the full RV paper archive.