Author:
Bouyer Patricia,Petit Antoine
Publisher
Springer Berlin Heidelberg
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. THE MODEL OF THE FUNCTIONAL EVOLVING FOR MULTIFUNCTIONAL AUTOMATION SYSTEMS;Vestnik komp'iuternykh i informatsionnykh tekhnologii;2023-10
2. Improving consistency of AADL models: A composition approach;Systems Engineering;2023-01-11
3. AlgebraicSystems: Compositional Verification for Autonomous System Design;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05
4. Structural transformations for data-enriched real-time systems;Formal Aspects of Computing;2015-07
5. Modeling Time;Models and Analysis in Distributed Systems;2013-03-06