Recent developments on Reactivity: Theoretical conceptualization and empirical verification.
Pietro De GiovanniAlfio CariolaMariacarmela PassarelliPublished in: Eur. J. Oper. Res. (2013)
Keyphrases
- recent developments
- theoretical analysis
- recent advances
- formal verification
- model checking
- functional verification
- databases
- theoretical basis
- information technology
- knowledge management
- multiscale
- bayesian networks
- social networks
- information theoretic
- neural network
- agent architecture
- formal analysis
- high security
- verification method
- concurrent systems
- real time