DMCA

Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking (2005)

by Gabor Madl , Sherif Abdelwahed Douglas C. Schmidt
Venue:The International Journal of Time-Critical Computing
Citations:17 - 5 self