Modeling and Verification of Processes Scheduling Based on Projection Temporal Logic for Multi-Core CPU
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 44 , 3 ; 52-57
01.01.2010
6 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic
British Library Online Contents | 2007
|Modeling Programmable Logic Controllers for Logic Verification
British Library Online Contents | 1994
|Model-Checking Security Protocol with Propositional Projection Temporal Logic
British Library Online Contents | 2010
|Projection Temporal Logic Oriented Model Checking for Web Services
British Library Online Contents | 2009
|British Library Conference Proceedings | 2023
|