Login / Signup
An Executable Subset of Meta-IV with Loose Specification.
Peter Gorm Larsen
Poul Bøgh Lassen
Published in:
VDM Europe (1) (1991)
Keyphrases
</>
formal specification
control flow
process algebra
attribute grammars
real time
learning algorithm
artificial intelligence
high level
specification language
data sets
web services
case study
object oriented
concurrent systems