Emergent Properties in Reactive Systems.

Marc Aiguier Pascale Le Gall Mbarka Mabrouki

Published in: APSEC (2008)

Keyphrases

reactive systems
model checking
temporal logic
formal methods
natural language
desirable properties
database
case study
training data
multi agent
expert systems
relational databases
object oriented
e government
embedded systems