Author:
Marsso Lina,Mateescu Radu,Parissis Ioannis,Serwe Wendelin
Publisher
Springer International Publishing
Reference37 articles.
1. Behrmann, G., David, A., Larsen, K.G., Möller, O., Pettersson, P., Yi, W.: Uppaal: present and future. In: Decision and Control. IEEE (2001)
2. Berry, G.: SCADE: synchronous design and validation of embedded control software. In: Ramesh, S., Sampath, P. (eds.) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp. 19–33. Springer, Dordrecht (2007).
https://doi.org/10.1007/978-1-4020-6254-4_2
3. Burns, F.P., Sokolov, D., Yakovlev, A.: A structured visual approach to GALS modeling and verification of communication circuits. IEEE Trans. CAD Integr. Circuits Syst. 36(6), 938–951 (2017)
4. Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. Doctoral thesis, Stanford University, Department of Computer Science (1984)
5. da Silva Simão, A., Petrenko, A.: Generating complete and finite test suite for ioco: is it possible? In: Schlingloff, H., Petrenko, A.K. (eds.) MBT 2014. EPTCS, vol. 141, pp. 56–70 (2014)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献