e-Article
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
Document Type
Article
Source
In: International Journal of Critical Computer-Based Systems , Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I. (International Journal of Critical Computer-Based Systems, 2011, 2(3-4):246-265)
Subject
Language
English
ISSN
17578787
17578779
17578779