| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Parallelism and modular proof in differential dynamic logic
Date de publication :
28-01-2019 |
Auteur(s) :
Lunel Simon |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les systèmes cyber-physiques mélangent des comportements physiques continus, tel la vitesse d'un véhicule, et des comportement discrets, tel que le régulateur de vitesse d'un véhicule. Ils sont désormais omniprésents dans notre société. Un grand nombre de ces systèmes sont dits critiques, i.e. une mauvaise conception entraînant un comportement non prévu, un bug, peut mettre en danger des êtres hum...
Référencé le :
17-04-2019
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
