-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathweb.html
46 lines (36 loc) · 3.34 KB
/
web.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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Educational resources</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>
<div class='maketitle'>
<h2 class='titleHead'>Educational resources</h2>
<div class='author'><span class='cmr-12x-x-120'>Dominique Méry</span>
<br /><span class='cmr-12x-x-120'>LORIA & Telecom Nancy</span>
<br /> <span class='cmr-12x-x-120'>Université de Lorraine</span>
<br /><a class='url' href='https://members.loria.fr/Mery'><span class='cmtt-12x-x-120'>https://members.loria.fr/Mery</span></a>
<br /><a class='url' href='dominique-dot-mery-at-loria-dot-fr'><span class='cmtt-12x-x-120'>dominique-dot-mery-at-loria-dot-fr</span></a></div><br />
<div class='date'><span class='cmr-12x-x-120'>March 5, 2025</span></div>
</div>
<!-- l. 89 --><p class='indent'>This site provides teaching resources for students taking courses at the University of
Lorraine, particularly the IT Masters and Telecom Nancy. Last updated 5:56 P.M.on
March 5, 2025.
</p>
<div class='tableofcontents'>
<span class='sectionToc'>1 <a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html#course-aspd-distributed-algorithms-on-modelling-verifying-and-trying-to-understand-distributed-algorithms-used-in-main-computer-systems' id='QQ2-2-1'> Course ASPD Distributed Algorithms on modelling, verifying and
trying to understand distributed algorithms used in main computer systems.</a></span>
<br /><span class='sectionToc'>2 <a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#course-movex-modelling-verification-and-experimentation-for-softwarebased-systems' id='QQ2-3-2'> Course MOVEX Modelling, Verification and Experimentation
for Software-based Systems</a></span>
<br /><span class='sectionToc'>3 <a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html#course-mosos-modelling-softwarebased-systems-using-the-eventb-modelling-language' id='QQ2-4-3'> Course MOSOS Modelling Software-based Systems using
the Event-B modelling language</a></span>
<br /><span class='sectionToc'>4 <a href='CourseMVSIforfrenchstudentsinfrench.html#course-mvsi-for-french-students-in-french-' id='QQ2-5-4'>Course MVSI for french students (in french) </a></span>
<br /><span class='sectionToc'>5 <a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#using-the-eventb-modelling-language-for-teaching-verification-techniques-' id='QQ2-6-5'>Using the Event-B modelling language for teaching verification
techniques </a></span>
<br /><span class='sectionToc'>6 <a href='CourseDISCONTModellingModellingSystems.html#course-discont-modelling-modelling-systems' id='QQ2-7-6'> Course DISCONT Modelling Modelling Systems</a></span>
</div>
</body>
</html>