Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.

Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu

Browse the full FASE paper archive.