An approach to modeling and developing teleo-reactive systems considering timing constraints
Revue:
Journal of Systems and Software
ISSN: 0164-1212
Année de publication: 2016
Volumen: 117
Pages: 317-333
Type: Article