Three-Tiered Specification of Micro-Architectures

Vasu S. Alagar Ralf Lämmel

Published in: CoRR (2002)

Keyphrases

formal specification
high level
electro mechanical systems
database
data sets
natural language
relational databases
specification language
reactive systems
neural architectures