Control Specification Language - CSL.

Klaus Winkelmann Klaus Nökel

Published in: FTRTFT (1994)

Keyphrases

specification language
description language
programming language
formal specification
control system
control strategy
software environment
requirements specification
symbolic execution
artificial intelligence
high level
database systems
reinforcement learning
cooperative
software engineering
software development