Thanh Nguyen Tien

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
To design and analyze Cyber-Physical Systems (CPSs), engineers should consider computation and physical processes at the same time. Engineers require a design description which is easy to understand. SysML provides diagrammatic notations which are independent of specific disciplines. To express numerical constraints of SysML diagrams, we extend OCL with(More)
  • 1