11 search results - page 3 / 3 » Formal modeling and analysis of real-time resource-sharing p... |
JOT
2010
13 years 3 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...