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