Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali. Spécification et vérification d un ordonnanceur en B via les automates temporisés. L OBJET, 14(4):43-72, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.