Hyun-chul Han

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
As a digital system becomes more important in recent years, software specification and analysis techniques become a central problem in the safety-critical systems. Therefore, the importance of software verification and validation (V&V) based on an adequate specification is more emphasized in view of the software quality. For a thorough V&V, it should be(More)
  • 1