Login / Signup
Structuring Z Specifications: Some Choices.
Anthony MacDonald
David A. Carrington
Published in:
ZUM (1995)
Keyphrases
</>
control flow
formal specification
delay insensitive
functional requirements
high level
design choices
database
real world
machine learning
image processing
programming language
specification language
formal language
asynchronous circuits
written in natural language