Home
>
Teams
>
RSD
>
Research Topics
>
Correct-by-Construction Implementation Techniques
>
Correct-by-Construction Implementation Techniques
Correct-by-Construction Implementation Techniques
[section under construction]
Real-Time Implementation
Scheduling for Mixed-Criticality Systems
Decentralized Implementation
Model-to-Model Transformations
News
NEWS
Master Scholarships for the academic year 2018-2019
Conferences
28 - 30 mai 2018
GT Verif 2018
13 July 2018
ADSL 2018
26-28 september 2018
VECoS 2018
10-13 November 2018
RV 2018
Seminars
Seminars
17 May 2018
Michael Perin:
Automatic grading: take a cegar and let the machine do your work
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Synchrone
Tempo
Pacss
RSD
People
Partners
Research Topics
Modeling Component-Based (...)
Scalable Verification and (...)
Correct-by-Construction (...)
Real-Time Implementation
Scheduling for Mixed-Criticali
Decentralized Implementation
Model-to-Model Transformations
Domain Specific Design (...)
Projects
Tools
Publications
Jobs and Internships
Contact
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.0.26
+
AHUNTSIC
[CC License]
info visites
989365
English
Français