Fumiaki Kanezashi

  • Citations Per Year
Learn More
A methodology for the description of system requirements and formal specifications and the diagnosis of them is presented. We will specifically deal with the issues (1) mathematical description of system function requirements and their relationship with formal specifications represented as state transition systems, (2) soundness and completeness of the(More)
  • 1