Formal Modeling and Analysis of The CANOpen Protocol in Full Maude
dc.contributor.author | Zhang, Wenlu | |
dc.date.accessioned | 2015-02-06T23:01:28Z | |
dc.date.available | 2015-02-06T23:01:28Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Zhang, Wenlu. Formal Modeling and Analysis of The CANOpen Protocol in Full Maude. Master thesis, University of Oslo, 2014 | |
dc.identifier.uri | http://hdl.handle.net/10852/42086 | |
dc.description.abstract | eng | |
dc.language.iso | eng | |
dc.subject | CANOpen | |
dc.subject | CAN | |
dc.subject | bus | |
dc.subject | Formal | |
dc.subject | Model | |
dc.subject | Maude | |
dc.title | Formal Modeling and Analysis of The CANOpen Protocol in Full Maude | eng |
dc.type | Master thesis | |
dc.date.updated | 2015-02-06T23:01:28Z | |
dc.creator.author | Zhang, Wenlu | |
dc.identifier.urn | URN:NBN:no-46476 | |
dc.type.document | Masteroppgave | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/42086/1/Formal_Modeling_and_Analysis_of_The_CANOpen_Protocol_in_Full_Maude-Wenlu_Zhang.pdf |
Files in this item
Appears in the following Collection
-
Institutt for informatikk [4971]