| |
| * | 2008 | |
|---|---|---|
| 1 | EE | 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] |