About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Resource
1-SWARM-729756
Formal modelling and verification framework
Summary
D2.3 Formal modelling and verification framework
More information & hyperlinks
Web resources:
https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5e0c51b59&appId=PPGMS
Search
Associated projects
1-SWARM - Integrated development and operations management framework for cyber-physical systems of systems under the paradigm of swarm intelligence
Organisations
Not specified