Login / Signup

Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .

Goichi ItabashiKaoru TakahashiYasushi KatoTakuo SugammaNorio Shiratori
Published in: AINA (2005)
Keyphrases
  • state machine
  • real time systems
  • embedded systems
  • state machines
  • real time
  • finite state machines
  • real time embedded
  • mobile devices
  • fault tolerant
  • distributed systems
  • mission critical
  • architectural model