 | Monter d'un niveau |
Beji, S., Hamadou, S., Gherbi, A., & Mullins, J. (octobre 2014). SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures [Communication écrite]. 18th IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications (DS-RT 2014), Toulouse, France. Lien externe
Mullins, J., & Yeddes, M. (mai 2014). Opacity with Orwellian observers and intransitive non-interference [Communication écrite]. 12th IFAC/IEEE Workshop on Discrete Event Systems (WODES 2014), Cachan, France. Lien externe
Robati, T., El Kouhen, A., Gherbi, A., Hamadou, S., & Mullins, J. (septembre 2014). An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet [Communication écrite]. 1st International Workshop on Architecture Centric Virtual Integration (ACVI 2014), Valencia, Spain. Lien externe
