From Teleo-Reactive specifications to architectural components: A model-driven approach
ISSN: 0164-1212
Year of publication: 2012
Volume: 85
Issue: 11
Pages: 2504-2518
Type: Article
ISSN: 0164-1212
Year of publication: 2012
Volume: 85
Issue: 11
Pages: 2504-2518
Type: Article