| 2008 | ||
|---|---|---|
| 1 | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis: Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS Workshops 2008: 5-19 | |
| 1 | Marius Bozga | [1] |
| 2 | Mohamed Yassin Chkouri | [1] |
| 3 | Joseph Sifakis | [1] |