Analyzing Refinements of State Based Specifications: The Case of TB Nets.

Miguel Felder Carlo Ghezzi Mauro Pezzè

Published in: ISSTA (1993)

Keyphrases

data sets
artificial intelligence
expert systems
artificial neural networks
delay insensitive
three dimensional
database systems
x ray
transition systems