C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems.
Yi Deng
Jiacun Wang
Rakesh Sinha
Published in:
ICFEM (1998)
Keyphrases
</>
concurrent systems
real time
temporal logic
distributed systems
process algebra
model checking
transition systems
formal specification
petri net
low cost
data driven
modeling language
real time rendering
modeling method
video sequences
formal verification
colored petri nets
real time systems
software engineering