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

समान संसाधन

• Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
  द्वारा: Yoeli, Michael
  प्रकाशित: (2008)
• Essential software testing: a use-case approach
  द्वारा: Fournier, Greg; Author
  प्रकाशित: (2009)
• Foundation of program verification /
  द्वारा: Loeckx, Jacques
  प्रकाशित: (1983)
• Program construction and verification /
  द्वारा: Backhouse, Roland C .
  प्रकाशित: (1986)
• Principles of model checking /
  द्वारा: Baier, Christel
  प्रकाशित: (2012)