An educational tool for implementing reactive systems following a goal-driven approach

Abstract

Sorry, we couldn't extract an abstract for this paper.
DOI: 10.1002/cae.21568