Modeling, analysis and verification of real-time resource access control protocols: a formal approach
International journal of computers and applications ; 40 , 2 ; 63-72
2018-01-01
10 pages
Article (Journal)
English
DDC: | 004.05 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A formal modeling and verification approach for real-time system
Tema Archive | 2008
|Formal modeling and verification of real-time concurrent systems
Tema Archive | 2008
|The PERF Approach for Formal Verification
British Library Conference Proceedings | 2016
|Formal Analysis for Real-Time Scheduling
British Library Conference Proceedings | 2000
|