-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html
25 lines (23 loc) · 2.94 KB
/
CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.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
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Course MOVEX Modelling, Verification and Experimentation for Software-based
Systems</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. 107 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html#tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev-tail</a>] [<a href='#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>tail</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
<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
Systems</h3>
<!-- l. 111 --><p class='noindent'>The course Modelling, Verification and Experimentation for Software-based Systems
(MOVEX) 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/movex'>MOVEX and
MALG</a>
</p>
<!-- l. 119 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html#tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev-tail</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>front</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
<!-- l. 119 --><p class='indent'><a id='tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'></a></p>
</body>
</html>