Article,

Case study on distributed and fault tolerant system modeling based on timed automata.

, , and .
J. Syst. Softw., 82 (10): 1678-1694 (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews