Login / Signup
Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study.
Thomas Kolloch
Georg Färber
Published in:
LCTES (1998)
Keyphrases
</>
computer networks
network architecture
network management
real time
databases
network structure
network model
case study
mobile robot
communication networks
formal specification