Login / Signup
Formal specification and verification of wireless networked self-organized Systems on Chip.
Hayat Daoud
Camel Tanougast
Mostefa Belarbi
Mikael Heil
Published in:
CoDIT (2014)
Keyphrases
</>
formal specification
formal methods
model checking
model checker
concurrent systems
specification languages
specification language
high speed
reverse engineering
object oriented design
artificial intelligence
case study
distributed systems
knowledge based systems
grid workflow