Funder
European Regional Development Fund
Fundação para a Ciência e a Tecnologia
FCT/MCTES
ERDF
FCT
ECSEL Joint Undertaking
Horizon 2020
Reference22 articles.
1. Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems;Verhulst,2011
2. Modeling component connectors in Reo by constraint automata;Baier;Sci. Comput. Program.,2006
3. Models and temporal logical specifications for timed component connectors;Arbab;Softw. Syst. Model.,2007
4. From timed Reo networks to networks of timed automata;Kokash;Electron. Notes Theor. Comput. Sci.,2013
5. Composing families of timed automata;Cledou,2017
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Caos: A Reusable Scala Web Animator of Operational Semantics;Lecture Notes in Computer Science;2023
2. From symbolic constraint automata to Promela;Journal of Logical and Algebraic Methods in Programming;2022-08