Home
>
Topics
>
MOHYTOS
Partners
Current Collaborations
Academic partners
IRIT/MACAO
:
IF Toolset
Industrial partners
PragmaDev, Paris, France
:
Cooperation PragmaDev
Past Collaborations (<8 years)
Past Academic partners
IRIT/MACAO
:
Moc4Space
Past Industrial Partners
GMV Innovating Solutions, Spain
:
Moc4Space
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
PACS
MOHYTOS
Members
Projects
Partners
Tools
Publications
Ongoing Phd Thesis
Jobs and Internships
FETLAS
Contact
Site Map
Building Access
New publications
Some Recent Publications (Mohytos)
Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures
Jobs and internships
Jobs and internships (Mohytos)
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
Contact
|
Site Map
|
Site powered by SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
4093789
English
Français