Jump to main content
UiO
The Faculty of Mathematics and Natural Sciences
Department of Informatics
No
En
Menu
For employees
My studies
Search our webpages
Search
Home
Research
Studies
Student life
Services and tools
About the department
People
Go to uio.no
Sub menu
Research
Research groups
Reliable systems (PSY)
Completed Master's theses
2014
Bielecki
Datta
Hansen
Kristiansen
Normann
Rodskog
Zhang
Research
>
Research groups
>
Reliable systems (PSY)
>
Completed Master's theses
>
2014
>
Zhang
Master thesis: Wenlu Zhang, Formal Modeling and Analysis of the CANOpen Protocol in Full Maude
See also the
presentation page.
Published
June 19, 2014 8:47 AM
-
Last modified
June 19, 2014 8:47 AM
E-mail this page
Share on Facebook
Share on Twitter