Test−data Generation for Control Coverage by Proof

相似書籍

• Test-data generation for control coverage by proof
  由: Cavalcanti, A, et al.
  出版: (2014)
• Automated verification of code automatically generated from Simulink (R)
  由: O'Halloran, C
  出版: (2013)
• From control law diagrams to Ada via Circus
  由: Cavalcanti, A, et al.
  出版: (2011)
• From Control Law Diagrams to Ada via Circus
  由: Cavalcanti, A, et al.
  出版: (2011)
• fastQ_brew: module for analysis, preprocessing, and reformatting of FASTQ sequence data
  由: Damien M. O’Halloran
  出版: (2017-07-01)