Site en français

Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems

Units : Verification and formal methods | ULB512

Description :

The main goal of Quasimodo is to develop new techniques and tools for model-driven design, analysis, testing and code-generation
for advanced embedded systems where ensuring quantitative bounds on resource consumption  is a central problem.      See:

List of persons in charge :

  • RASKIN Jean-François

List of lessors :

  • Autres U.E.