Skip to content

Commit 6290951

Browse files
mery54mery54
committed
I commit
1 parent 238b50f commit 6290951

21 files changed

+194
-159
lines changed

‎.#web.tex

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
[email protected]

‎CourseASPDDistributedAlgorithms.html

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<!DOCTYPE html>
2+
<html lang='en-US' xml:lang='en-US'>
3+
<head><title>Course ASPD Distributed Algorithms</title>
4+
<meta charset='utf-8' />
5+
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
6+
<meta content='width=device-width,initial-scale=1' name='viewport' />
7+
<link href='web.css' rel='stylesheet' type='text/css' />
8+
<meta content='web.tex' name='src' />
9+
</head><body>
10+
<!-- l. 96 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>next</a>] [<a href='#tailCourseASPDDistributedAlgorithms.html'>tail</a>] [<a href='web.html#CourseASPDDistributedAlgorithms.html'>up</a>] </p></div>
11+
<h3 class='sectionHead' id='course-aspd-distributed-algorithms'><span class='titlemark'>1 </span> <a id='x2-10001'></a> Course ASPD Distributed Algorithms</h3>
12+
<!-- l. 100 --><p class='noindent'>The course Distributed Algorithms ASPD is taught in the Master in Computer Science
13+
of the University of Lorraine and in the Master in Computer Engineering of
14+
Telecom Nancy. The lectures notes and documents for the students are at the link
15+
<a href='https://mery54.github.io/teaching/aspd'>ASPD</a>
16+
17+
18+
</p>
19+
<!-- l. 107 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>next</a>] [<a href='CourseASPDDistributedAlgorithms.html'>front</a>] [<a href='web.html#CourseASPDDistributedAlgorithms.html'>up</a>] </p></div>
20+
<!-- l. 107 --><p class='indent'><a id='tailCourseASPDDistributedAlgorithms.html'></a></p>
21+
</body>
22+
</html>

‎CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html

+4-4
Original file line numberDiff line numberDiff line change
@@ -8,12 +8,12 @@
88
<link href='web.css' rel='stylesheet' type='text/css' />
99
<meta content='web.tex' name='src' />
1010
</head><body>
11-
<!-- l. 140 --><div class='crosslinks'><p class='noindent'>[<a href='CourseDISCONTModellingModellingSystems.html'>next</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>tail</a>] [<a href='web.html#CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>up</a>] </p></div>
12-
<h3 class='sectionHead' id='course-aspd-on-modelling-verifying-and-trying-to-understand-distributed-algorithms-usd-in-main-computer-systems-'><span class='titlemark'>5 </span> <a id='x6-50005'></a>Course ASPD on modelling, verifying and trying to understand distributed
11+
<!-- l. 163 --><div class='crosslinks'><p class='noindent'>[<a href='CourseDISCONTModellingModellingSystems.html'>next</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>tail</a>] [<a href='web.html#CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>up</a>] </p></div>
12+
<h3 class='sectionHead' id='course-aspd-on-modelling-verifying-and-trying-to-understand-distributed-algorithms-usd-in-main-computer-systems-'><span class='titlemark'>6 </span> <a id='x7-60006'></a>Course ASPD on modelling, verifying and trying to understand distributed
1313
algorithms usd in main computer systems. </h3>
1414

1515

16-
<!-- l. 146 --><div class='crosslinks'><p class='noindent'>[<a href='CourseDISCONTModellingModellingSystems.html'>next</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>front</a>] [<a href='web.html#CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>up</a>] </p></div>
17-
<!-- l. 146 --><p class='indent'><a id='tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'></a></p>
16+
<!-- l. 169 --><div class='crosslinks'><p class='noindent'>[<a href='CourseDISCONTModellingModellingSystems.html'>next</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>front</a>] [<a href='web.html#CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>up</a>] </p></div>
17+
<!-- l. 169 --><p class='indent'><a id='tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'></a></p>
1818
</body>
1919
</html>

‎CourseDISCONTModellingModellingSystems.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -7,17 +7,17 @@
77
<link href='web.css' rel='stylesheet' type='text/css' />
88
<meta content='web.tex' name='src' />
99
</head><body>
10-
<!-- l. 146 --><div class='crosslinks'><p class='noindent'>[<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev-tail</a>] [<a href='#tailCourseDISCONTModellingModellingSystems.html'>tail</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
11-
<h3 class='sectionHead' id='course-discont-modelling-modelling-systems'><span class='titlemark'>6 </span> <a id='x7-60006'></a> Course DISCONT Modelling Modelling Systems</h3>
12-
<!-- l. 150 --><p class='noindent'>The course Modelling Modelling Systems (DISCONT) is taught in the Master in
10+
<!-- l. 169 --><div class='crosslinks'><p class='noindent'>[<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev-tail</a>] [<a href='#tailCourseDISCONTModellingModellingSystems.html'>tail</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
11+
<h3 class='sectionHead' id='course-discont-modelling-modelling-systems'><span class='titlemark'>7 </span> <a id='x8-70007'></a> Course DISCONT Modelling Modelling Systems</h3>
12+
<!-- l. 173 --><p class='noindent'>The course Modelling Modelling Systems (DISCONT) is taught in the Master in
1313
Computer Science of the University of Lorraine and in the Master in Computer
1414
Engineering of Telecom Nancy. The lectures notes and documents for the students are at
1515
the link <a href='https://mery54.github.io/discont'>DISCONT</a>. The lectures have been designed in the ANR project DISCONT and
1616
it has been taught two times for assessing it.
1717

1818

1919
</p>
20-
<!-- l. 159 --><div class='crosslinks'><p class='noindent'>[<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev-tail</a>] [<a href='CourseDISCONTModellingModellingSystems.html'>front</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
21-
<!-- l. 159 --><p class='indent'><a id='tailCourseDISCONTModellingModellingSystems.html'></a></p>
20+
<!-- l. 182 --><div class='crosslinks'><p class='noindent'>[<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev-tail</a>] [<a href='CourseDISCONTModellingModellingSystems.html'>front</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
21+
<!-- l. 182 --><p class='indent'><a id='tailCourseDISCONTModellingModellingSystems.html'></a></p>
2222
</body>
2323
</html>

‎CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -8,17 +8,17 @@
88
<link href='web.css' rel='stylesheet' type='text/css' />
99
<meta content='web.tex' name='src' />
1010
</head><body>
11-
<!-- l. 111 --><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>
12-
<h3 class='sectionHead' id='course-mosos-modelling-softwarebased-systems-using-the-eventb-modelling-language'><span class='titlemark'>2 </span> <a id='x3-20002'></a> Course MOSOS Modelling Software-based Systems using the Event-B modelling
11+
<!-- l. 121 --><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>
12+
<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
1313
language</h3>
14-
<!-- l. 115 --><p class='noindent'>The course Modelling Software-based Systems (MOSOS) is taught in the Master in
14+
<!-- l. 125 --><p class='noindent'>The course Modelling Software-based Systems (MOSOS) is taught in the Master in
1515
Computer Science of the University of Lorraine and in the Master in Computer
1616
Engineering of Telecom Nancy. The lectures notes and documents for the students are at
1717
the link <a href='https://mery54.github.io/teaching/mosos'>MOSOS</a>
1818

1919

2020
</p>
21-
<!-- l. 122 --><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>
22-
<!-- l. 122 --><p class='indent'><a id='tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'></a></p>
21+
<!-- l. 132 --><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>
22+
<!-- l. 132 --><p class='indent'><a id='tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'></a></p>
2323
</body>
2424
</html>

‎CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html

+5-7
Original file line numberDiff line numberDiff line change
@@ -8,20 +8,18 @@
88
<link href='web.css' rel='stylesheet' type='text/css' />
99
<meta content='web.tex' name='src' />
1010
</head><body>
11-
<!-- l. 98 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>tail</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
12-
<h3 class='sectionHead' id='course-movex-modelling-verification-and-experimentation-for-softwarebased-systems'><span class='titlemark'>1 </span> <a id='x2-10001'></a> Course MOVEX Modelling, Verification and Experimentation for Software-based
11+
<!-- l. 108 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithms.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithms.html#tailCourseASPDDistributedAlgorithms.html'>prev-tail</a>] [<a href='#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>tail</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
12+
<h3 class='sectionHead' id='course-movex-modelling-verification-and-experimentation-for-softwarebased-systems'><span class='titlemark'>2 </span> <a id='x3-20002'></a> Course MOVEX Modelling, Verification and Experimentation for Software-based
1313
Systems</h3>
14-
<!-- l. 102 --><p class='noindent'>The course Modelling, Verification and Experimentation for Software-based Systems
14+
<!-- l. 112 --><p class='noindent'>The course Modelling, Verification and Experimentation for Software-based Systems
1515
(MOVEX) is taught in the Master in Computer Science of the University of
1616
Lorraine and in the Master in Computer Engineering of Telecom Nancy. The
1717
lectures notes and documents for the students are at the link <a href='https://mery54.github.io/teaching/movex'>MOVEX and
1818
MALG</a>
1919

2020

21-
22-
2321
</p>
24-
<!-- l. 110 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>front</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
25-
<!-- l. 110 --><p class='indent'><a id='tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'></a></p>
22+
<!-- l. 120 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithms.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithms.html#tailCourseASPDDistributedAlgorithms.html'>prev-tail</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>front</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
23+
<!-- l. 120 --><p class='indent'><a id='tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'></a></p>
2624
</body>
2725
</html>

0 commit comments

Comments
 (0)