Reasoning About Pipelines with Structural Hazards.

Mark D. Aagaard Miriam Leeser

Published in: TPCD (1994)

Keyphrases

structural information
big data
multiscale
structural features
database
real time
databases
artificial intelligence
spatial reasoning
structural analysis
formal theory
structural models