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 Nov. 7, 2024 1:55 PM
E-mail this page