Sign in

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).

Klaus HavelundMartin LeuckerGiles RegerVolker Stolz
Published in: Dagstuhl Reports (2017)
Keyphrases
  • high level
  • decision making
  • specification language
  • information systems
  • reactive systems