AADL behavioral annex based on generalized rewriting logic.

Malika Benammar, Faiza Belala, Fateh Latreche

Browse the full RCIS paper archive.