Toward polychronous analysis and validation for timed software architectures in AADL.

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loc Besnard, Maurice Heitz

Browse the full DATE paper archive.