Spécification formelle du protocole CAN

Simple item page
dc.contributor.authorBenrahla, Hicham
dc.contributor.authorMokhati, Farid
dc.date.accessioned2018-12-03T11:18:25Z
dc.date.available2018-12-03T11:18:25Z
dc.date.issued2011
dc.description.abstractNous élaborons une spécification formelle concernant certaines fonctionnalités du protocole CAN l'un des systèmes embarqués à l'aide - un langage formel basé sur la logique de réécriture, Maude. Une fois son élaboration se fait, la spécification en question est vérifiée par le LTL model-checker une technique de model-checking, justement choisi car il est spécifique au langage Maude, déjà mentionné ci-dessus. Un outil graphique est suggéré de simplifier la création, l'utilisation et le test des spécifications différentes liées à certaines fonctionnalités.ar
dc.identifier.urihttp://hdl.handle.net/123456789/6763
dc.language.isofrar
dc.publisherUniversité Oum El Bouaghiar
dc.subjectLangage Maudear
dc.subjectSystème CANar
dc.titleSpécification formelle du protocole CANar
dc.typeOtherar
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
specigication CAN.pdf
Size:
13.83 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
قسم الإعلام الالي