Team Tempo
Members
Overall Objectives
Objectives
Research Program
Cyber Physical Systems
Verification of Embedded Systems Properties
Application Domains
Cyber Physical Systems
Simulation
Automated Test Generation
New Software and Platforms
SimSoC
New Results
Highlights of the Year
Approximately Timed Simulation
Automated generation of simulator
Automated Test
SAT based bounded model checking
Partnerships and Cooperations
International Initiatives
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2014
|
Presentation of the Team TEMPO
PDF
e-Pub
Previous |
Home
| Next
Section: New Results
Highlights of the Year
The project was created.
Previous |
Home
| Next