Author:
Raymond Pascal,Roux Yvan,Jahier Erwan
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Control and Systems Engineering
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LTL-specification for development and verification of logical control programs in feedback systems;Modeling and Analysis of Information Systems;2024-09-13
2. ForSyDe-Atom;ACM Transactions on Embedded Computing Systems;2021-03-31
3. Online Signal Monitoring With Bounded Lag;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-11
4. Reactive probabilistic programming;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Specifying a Cryptographical Protocol in Lustre and SCADE;Electronic Proceedings in Theoretical Computer Science;2020-04-26