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