About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Resource
FOCETA-1046894
Report: Formal verification of learning components
Summary
Report Formal verification of learning components ULIV
More information & hyperlinks
Web resources:
https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5f9e3440a&appId=PPGMS
Search
Associated projects
FOCETA - FOUNDATIONS FOR CONTINUOUS ENGINEERING OF TRUSTWORTHY AUTONOMY
Organisations
Not specified