Marius Bozga's News Items (2)
| News Items Discussions Started (2) | Replies | Latest Activity |
|---|---|---|
Paper on secBIP, a framework to study information flow security in component-based systemsThe paper "Model-driven Information Flow Security for Component-Based Systems" by UJV/Verimag team members Najah Ben Said, Saddek Bensalem,… Started by Marius Bozga in News |
0 | Apr 14, 2014 |
Paper on compositional verification presented at TACAS 2014The paper "Compositional Invariant Generation for Timed Systems" by UJF/Verimag team members Lacramioara Astefanoaei, Souha Ben Rayana, Sad… Started by Marius Bozga in News |
0 | Apr 14, 2014 |
Welcome to
D-MILS Project Website
D-MILS Partners
© 2024 Created by Scott Hansen.
Powered by
