Samir Hameg

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
Currently, it is well recognized that coupling graphical and formal notations offers several advantages. Indeed, even if a graphical representation permits to design a visual, synthetic and user-friendly view of the system, it may be source of ambiguity and does not permit any formal verification. Formal methods help to remedy these shortcomings by giving a(More)
  • 1