Publisher
Springer Fachmedien Wiesbaden
Reference29 articles.
1. André, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA (May 2009),
http://hal.inria.fr/inria-00384077/
2. André, C., DeAntoni, J., Mallet, F., de Simone, R.: The Time Model of Logical Clocks available in the OMG MARTE profile, chap. 7, pp. 201–227. Springer Science+Business Media, LLC 2010 (July 2010),
http://hal.inria.fr/inria-00495664
3. André, C., Mallet, F., de Simone, R.: Modeling time(s). In: 10th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS ’07). pp. 559-573. No. 4735 in LNCS, ACM-IEEE, Springer, Nashville, TN, USA (September 2007)
4. Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64–83 (Jan 2003)
5. Berry, G., Cosserat, L.: The ESTEREL synchronous programming language and its mathematical semantics. In: Seminar on Concurrency. Lecture Notes in Computer Science, vol. 197, pp. 389–448. Springer (1984), http://dx.doi.org/10.1007/3-540-15670-4_19
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components;Lecture Notes in Computer Science;2024
2. A survey of model-driven techniques and tools for cyber-physical systems;Frontiers of Information Technology & Electronic Engineering;2020-11
3. Category Methods for Modelling Logical Time Based on the Concept of Clocks;Information and Communication Technologies in Education, Research, and Industrial Applications;2019
4. A comprehensive survey on modeling of cyber‐physical systems;Concurrency and Computation: Practice and Experience;2018-10-18
5. Two Approaches to Modelling Logical Time in Cyber-Physical Systems;Information and Communication Technologies in Education, Research, and Industrial Applications;2018