Login / Signup

Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study.

Thomas KollochGeorg 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