Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application-Reference-Cited by-同舟云学术

Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application

Published:2016-12-10 Issue: Volume: Page:175-199
ISSN:
Container-title:Model-Implementation Fidelity in Cyber Physical System Design
language:
Short-container-title:

Author:

Nokovic Bojan,Sekerinski Emil

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47307-9_7

Reference29 articles.

1. A. Hinton, M. Kwiatkowska, G. Norman, D. Parker, PRISM: A tool for automatic verification of probabilistic systems. In Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’06), vol. 3920 of LNCS, ed. by H. Hermanns, J. Palsberg (Springer, New York, 2006), pp. 441–444

2. D. Harel, Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8 (3), 231–274 (1987)

3. D. Harel, Statecharts in the making: a personal account. Commun. ACM 52 (3), 67–75 (2009)

4. B. Nokovic, E. Sekerinski, pState: A probabilistic statecharts translator. In Embedded Computing (MECO), 2013 2nd Mediterranean Conference on, pp. 29–32, 2013

5. B. Nokovic, E. Sekerinski, Verification and code generation for timed transitions in pCharts. In Proceedings of the 2014 International C* Conference on Computer Science #38, C3S2E ’14 (ACM, New York, NY, USA, 2014), pp. 3:1–3:10

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper);Electronic Proceedings in Theoretical Computer Science;2018-11-27