Browsing by Department LAAS Laboratory, , Department of Computer Science, University Badji Mokhtar, Annaba, Algeria
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
25-Mar-2021 | Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model | Chabbat, Nadia ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Ghanemi, Salim |
Showing results 1 to 1 of 1
Built with DSpace-CRIS -
Extension maintained and optimized by
