Login / Signup
OpenSMOKE++: An object-oriented framework for the numerical modeling of reactive systems with detailed kinetic mechanisms.
Alberto Cuoci
Alessio Frassoldati
Tiziano Faravelli
Eliseo Ranzi
Published in:
Comput. Phys. Commun. (2015)
Keyphrases
</>
reactive systems
model checking
information flow
state machines
artificial intelligence
low cost
petri net
temporal logic
formal methods
database systems
supply chain
monte carlo
software architecture
weather prediction