Techniques for Formal Modelling and Analysis of Quantum Systems.

Simon J. Gay Rajagopal Nagarajan

Published in: Computation, Logic, Games, and Quantum Foundations (2013)

Keyphrases

data analysis
statistical analysis
formal methods
search algorithm
expert systems
databases
information systems
decision trees
image analysis
distributed systems
computer systems
complex systems