To access the full text documents, please follow this link: http://hdl.handle.net/10609/99619

Efficient validation of large models using the Mogwaï tool
Daniel, Gwendal
-Databases
-Bases de dades
-Bases de datos
(c) Journal
info:eu-repo/semantics/restrictedAccess
Article - Published version
Working Paper
CEUR Workshop Proceedings
         

Show full item record

 

Coordination

 

Supporters