Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems.

Lus Nascimento, Andr Luz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly

Browse the full AINA paper archive.