Browsing by Subject Formal Verification
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 30-Dec-2013 | FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH | CHAOUI, A; SAIDOUNI, D; BOUARIOUA, M; BEKRAR, S; KERKOUCHE, E |