Subject
General Computer Science,Theoretical Computer Science
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Toward Object-oriented Modeling in SCCharts;ACM Transactions on Embedded Computing Systems;2021-06
2. Specifying a Cryptographical Protocol in Lustre and SCADE;Electronic Proceedings in Theoretical Computer Science;2020-04-26
3. Synthesizing manually verifiable code for statecharts;Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2018-11-04
4. Augmenting State Models with Data Flow;Lecture Notes in Computer Science;2018
5. Detecting safety-related components in statecharts through traceability and model slicing;Software: Practice and Experience;2017-09-05