Open AccessFormalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams
Author(s) -
Aymen Louati,
Chadlia Jerad,
Kamel Barkaoui
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
DOI - 10.7321/jscse.v3.n3.31
Subject(s) - computer science , diagram , programming language , database