Search
Private area
FR
EN

Labsticc
Lab-STICC
Directory
News
Departments
Teams
Publications
Transversal programs

From sensors to knowledge: Communicate and decide

Search

Your search query : Formal verification
2 results found

TEODOROV Ciprian

P4S

FIXME

Laboratoire des Sciences et Techniques de l'information de la Communication et de la Connaissance

CNRS, UMR 6285

Technopole Brest-Iroise - CS 83818
29238 Brest Cedex 3 - France

Presentation
Private area

Legal notice | Cookie management | © Azimut - Créateur de solutions numériques, www.azimut.net