Author:
Andre C.,Boulanger F.,Girault A.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime Enforcement of Cyber-Physical Systems;ACM Transactions on Embedded Computing Systems;2017-10-10
2. Runtime enforcement of reactive systems using synchronous enforcers;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13
3. Combining Transactional and Behavioural Reliability in Adaptive Middleware;Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware;2016-12-12
4. A Synchronous Approach for IEC 61499 Function Block Implementation;IEEE Transactions on Computers;2009-12
5. Semantics-Preserving Design of Embedded Control Software from Synchronous Models;IEEE Transactions on Software Engineering;2007-08