Modelling Timed Reactive Systems from Natural-Language Requirements

Carvalho, G., Cavalcanti, A. L. C. and Sampaio, A. C. A. (2016) Modelling Timed Reactive Systems from Natural-Language Requirements. Formal Aspects of Computing. pp. 725-765. ISSN 1433-299X


Copyright, Publisher and Additional Information: © British Computer Society 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
  • Accepted: 1 July 2016
  • Published (online): 26 July 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 29 Jul 2016 23:03
Last Modified: 06 Dec 2023 11:26
Published Version:
Status: Published online
Refereed: Yes
Identification Number: