Synthesis of asynchronous monitors for critical electronic systems.

Alexandre Porcher Katell Morin-Allory Laurent Fesquet

Published in: DDECS (2010)

Keyphrases

real time
genetic algorithm
management system
distributed systems
learning systems
information technology
relational databases
intelligent systems
neural network
real world
learning algorithm
computer systems
building blocks
complex systems