Spécification et vérification d un ordonnanceur en B via les automates temporisés

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.