Hide metadata

Formal Modeling and Analysis of The CANOpen Protocol in Full Maude

dc.contributor.authorZhang, Wenlu
dc.date.accessioned2015-02-06T23:01:28Z
dc.date.available2015-02-06T23:01:28Z
dc.date.issued2014
dc.identifier.citationZhang, Wenlu. Formal Modeling and Analysis of The CANOpen Protocol in Full Maude. Master thesis, University of Oslo, 2014
dc.identifier.urihttp://hdl.handle.net/10852/42086
dc.description.abstracteng
dc.language.isoeng
dc.subjectCANOpen
dc.subjectCAN
dc.subjectbus
dc.subjectFormal
dc.subjectModel
dc.subjectMaude
dc.titleFormal Modeling and Analysis of The CANOpen Protocol in Full Maudeeng
dc.typeMaster thesis
dc.date.updated2015-02-06T23:01:28Z
dc.creator.authorZhang, Wenlu
dc.identifier.urnURN:NBN:no-46476
dc.type.documentMasteroppgave
dc.identifier.fulltextFulltext 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

Name:
Formal_Modeling_and_Analysis_o ...
Size:
5.303Mb
Format:
application/
View/Open

Appears in the following Collection

Hide metadata