Hai Nguyen Van

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
Most relevant industrial modeling problems depict heterogeneity issues when combining different paradigms. Designing such systems with discrete and continuous parts necessarily raises formal verification problems. We focus on a synchronous heterogeneous specification language, called TESL. In particular, it allows the expression of interrelations of clocks(More)
  • 1