A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet

Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 85-111, Springer, 2016. [doi]

Authors

Sardaouna Hamadou

This author has not been identified. Look up 'Sardaouna Hamadou' in Google

John Mullins

This author has not been identified. Look up 'John Mullins' in Google

Abdelouahed Gherbi

This author has not been identified. It may be one of the following persons: Look up 'Abdelouahed Gherbi' in Google