Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

類似資料

• Verification of systems and circuits using LOTOS,Petri Nets, and CCS
  著者:: Yoeli, Michael
  出版事項: (2008)
• Foundation of program verification /
  著者:: Loeckx, Jacques
  出版事項: (1983)
• Program construction and verification /
  著者:: Backhouse, Roland C .
  出版事項: (1986)
• Essential software testing: a use-case approach
  著者:: Fournier, Greg; Author
  出版事項: (2009)
• Principles of model checking /
  著者:: Baier, Christel
  出版事項: (2012)