Masaryk University
Expertise in formal verification and deployment of tools for model checking.
Short name: UOM Country: CZExpertise in formal verification and deployment of tools for model checking.
Web Page:
AMASS ECSEL Joint Undertaking, Project, AMASS, ECSEL, TECNALIA, Assurance, Safety, Security, Certification, System Architecture
AMASS at a Glance
|
Funded under:
  Area: Design Technologies
Project No: 692474
Total budget: 20,5 Million Euro
Duration: Apr 2016–Mar 2019
Coordinator: TECNALIA R&I
|
Agenda
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
The project leading to this application has received funding from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No 692474. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Spain, Czech Republic, Germany, Sweden, Italy, United Kingdom and France.
|
|
|
© 2019 TECNALIA. All rights reserved.
Parque Científico y Tecnológico de Bizkaia - C/ Astondo Bidea. Edificio 700. E-48160 Derio (Bizkaia). Tel.: 902.760.000 - International calls: (+34) 946.430.850 |
|