Towards Quantitative Verification of Reaction Systems.

Artur Meski Maciej Koutny Wojciech Penczek

Published in: UCNC (2016)

Keyphrases

case study
expert systems
complex systems
real time
management system
model checking
quantitative and qualitative
formal methods
data mining
multi agent systems
artificial neural networks
computer systems
building blocks
signature verification