Modelling timed reactive systems from natural-language requirements
Crossref DOI link: https://doi.org/10.1007/s00165-016-0387-x
Published Print: 2016-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Carvalho, Gustavo
Cavalcanti, Ana
Sampaio, Augusto
License valid from 2016-09-01