Login / Signup
Formal Specification and Analysis of Hardware Systems in Timed Chi.
Ka Lok Man
Published in:
Nord. J. Comput. (2007)
Keyphrases
</>
formal specification
computing systems
formal methods
real world
computer systems
real time
cooperative
low cost
distributed systems
model checking
software components
embedded systems
data abstraction
object oriented design