Export Citations
1 Results for: Keyword: distributed event simulation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,766,563 records)|Limit your search to The ACM Full-Text Collection (759,377 records)
- research-articleJuly 2009
Run-time conformance checking of mobile and distributed systems using executable models
PADTAD '09: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and DebuggingArticle No.: 1, Pages 1–11https://doi.org/10.1145/1639622.1639623This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera --- a novel, high-level language supporting the description and execution of models of concurrent, mobile, distributed, and ...