Login / Signup
Verification of embbeded systems with preemption: a negative result.
Jérôme Ermont
Frédéric Boniol
Published in:
ISoLA (2007)
Keyphrases
</>
management system
databases
expert systems
building blocks
data sets
intelligent systems
positive and negative
formal methods
database
real time
real world
genetic algorithm
metadata
multi agent systems
np hard
complex systems