×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [reachability property]
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking Zonghua Gu, Xiuqiang He and Mingxuan
223 views
Cpsc125 ch6sec1
1.051 views
Cpsc125 ch6sec1
232 views
Valid Policies for Secure Key Management GUILLAUME SCERRI AND RYAN STANLEY-OAKES, UNIVERSITY OF BRISTOL
218 views
Towards a Unified Theory of Operational and Axiomatic Semantics
54 views