Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

類似資料

• Modeling and verification using UML statecharts :
  著者:: Drusinsky, Doron
  出版事項: (2006)
• Verification and validation for quality of UML 2.0 madels
  著者:: Unhelkar, Bhuvan
  出版事項: (2005)
• Giáo trình nhập môn UML
  著者:: Huỳnh, Văn Đức
  出版事項: (2004)
• Giáo trình nhập môn UML
  著者:: Huỳnh, Văn Đức
  出版事項: (2003)
• UML pour l'analyse d'un système d'information :
  著者:: Morley, Chantal
  出版事項: (2002)