Projects

14/06/2022
FAVPQC
Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
24/03/2022
TAILOR
European TAILOR project
23/03/2022
OGMIOS
Intelligent system for clinical decision support in precision medicine.
22/03/2022
iv4XR
Intelligent Verification/Validation for Extended Reality Based Systems
21/03/2022
DECODER
DEveloper COmpanion for Documented and annotated code Reference
20/03/2022
GISPRO
Genomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering
19/03/2022
DataMe
A Conceptual Model-driven Method for Big Data applications
18/03/2022
PROTEUS
Designing Self-Adaptive Systems Involving Humans
17/03/2022
Fittest
Future Internet Testing