SNAIL team
SNAIL team
Research
Projects
Publications
Education
MSc Thesis
News
About SNAIL
About
Contact
People
Light
Dark
Automatic
Conformity Assessment
Automating the conformity assessment of Cyber-Physical Systems software
Cyber-physical systems (CPS) are tools used by humans to enhance the way they perform tasks. CPSs make tasks more efficient, more …
Guillaume Nguyen
PDF
Project
DOI
Cite
×
