Login / Signup
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX.
Min Zhang
Toshiaki Aoki
Yueying He
Published in:
J. Inf. Secur. Appl. (2016)
Keyphrases
</>
formal analysis
process model
model checking
face verification
grid workflow
formal model
concurrent systems
verification method
round robin
signature verification
resource constraints
real time
test bed
response time
knowledge representation
optimal solution
decision making
data mining