Behavioural and abstractor specifications revisited.

Rolf Hennicker Alexandre Madeira Martin Wirsing

Published in: Theor. Comput. Sci. (2018)

Keyphrases

formal specification
functional requirements
real time
data sets
real world
high level
delay insensitive
neural network
web services
case study
logic programs
formal verification
behavioural patterns