Marjaneh Khoshandam

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Formal Methods have changed software engineering development process. They have been used in implementation of software for safety-critical environments. Formal specification languages have good properties for describing a system. ACT-ONE and Communicating Sequential Process (CSP) are two specification languages we have discussed on them in this paper. This(More)
  • 1