Progressive events in supervisory control and compositional verification

From MaRDI portal
Revision as of 20:05, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5257781

DOI10.1007/s11768-014-4097-8zbMath1324.93095OpenAlexW1968747967MaRDI QIDQ5257781

Robi Malik, Simon Ware

Publication date: 29 June 2015

Published in: Control Theory and Technology (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10289/9358




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Progressive events in supervisory control and compositional verification