Institutions for Very Abstract Specifications.
Maura CerioliGianna ReggioPublished in: COMPASS/ADT (1992)
Keyphrases
- high level
- state machines
- formal descriptions
- functional requirements
- low level
- data sets
- delay insensitive
- digital libraries
- higher level
- information technology
- asynchronous circuits
- specification language
- learning process
- database
- data structure
- image sequences
- decision trees
- artificial intelligence
- real world
- real time