An approach to modeling and developing teleo-reactive systems considering timing constraints
Revista:
Journal of Systems and Software
ISSN: 0164-1212
Any de publicació: 2016
Volum: 117
Pàgines: 317-333
Tipus: Article