-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html
24 lines (22 loc) · 2.55 KB
/
CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Course MOSOS Modelling Software-based Systems using the Event-B modelling
language</title>
<meta charset='utf-8' />
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
<meta content='width=device-width,initial-scale=1' name='viewport' />
<link href='web.css' rel='stylesheet' type='text/css' />
<meta content='web.tex' name='src' />
</head><body>
<!-- l. 120 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMVSIforfrenchstudentsinfrench.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev-tail</a>] [<a href='#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>tail</a>] [<a href='web.html#CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>up</a>] </p></div>
<h3 class='sectionHead' id='course-mosos-modelling-softwarebased-systems-using-the-eventb-modelling-language'><span class='titlemark'>3 </span> <a id='x4-30003'></a> Course MOSOS Modelling Software-based Systems using the Event-B modelling
language</h3>
<!-- l. 124 --><p class='noindent'>The course Modelling Software-based Systems (MOSOS) is taught in the Master in
Computer Science of the University of Lorraine and in the Master in Computer
Engineering of Telecom Nancy. The lectures notes and documents for the students are at
the link <a href='https://mery54.github.io/teaching/mosos'>MOSOS</a>
</p>
<!-- l. 131 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMVSIforfrenchstudentsinfrench.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev-tail</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>front</a>] [<a href='web.html#CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>up</a>] </p></div>
<!-- l. 131 --><p class='indent'><a id='tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'></a></p>
</body>
</html>