Jmol SMILES and Jmol SMARTS: specifications and applications.

Robert M. Hanson

Published in: J. Cheminformatics (2016)

Keyphrases

delay insensitive
high level
specification language
reactive systems
data sets
learning algorithm
formal specification
functional requirements
bounded model checking
real time
concurrent systems
control flow
search algorithm
bayesian networks
case study
image processing
information systems