Research Program
Application Domains
New Software and Platforms
New Results
- Formal Model-Based, Platform-Based System Engineering for CPS heterogeneous systems
- Cyber extensions for the FMI physical API
- Logical Time and Uncertain Physical environments
- Automatic analysis and verification for specific classes of models
- Behavioral semantics and equivalence notions for Open Systems
- Formal model of computations, mobility and resource discovery adapted for CPS
- Logical Frameworks with logical time
- From code to model
- From model to code
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Software and Platforms
New Results
- Formal Model-Based, Platform-Based System Engineering for CPS heterogeneous systems
- Cyber extensions for the FMI physical API
- Logical Time and Uncertain Physical environments
- Automatic analysis and verification for specific classes of models
- Behavioral semantics and equivalence notions for Open Systems
- Formal model of computations, mobility and resource discovery adapted for CPS
- Logical Frameworks with logical time
- From code to model
- From model to code
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Previous | 
Home