Home > Topics > MOHYTOS > Projects > Projects

Projects


Current Projects

    Other Projects

  • Cooperation PragmaDev - 2006-2026
    PragmaDev provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art communicating systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. The (...)
  • Moc4Space - ESA, ITT, 2021-2022
    Model Checking for Formal Verification of Space Systems

The whole Verimag Projects page


Contact | Site Map | Site powered by SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1718209