Synchronous Programs Testing Language (SPTL)-Reference-Cited by-同舟云学术

登录注册会员服务联系我们

Synchronous Programs Testing Language (SPTL)

Published:2014 Issue: Volume: Page:683-695
ISSN:0302-9743
Container-title:Computational Science and Its Applications – ICCSA 2014
language:
Short-container-title:

Author:

Mnad Mouna Tka,Deleuze Christophe,Parissis Ioannis

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-09144-0_47

Reference11 articles.

1. Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 1270–1282 (1991)

2. Carroll, J.: Five reasons for scenario-based design. Interacting with computers 13(1), 43–60 (2000), http://archive.itee.uq.edu.au/~comp3503/Resources/_pdf/CarrollScenariosIwC.pdf

3. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language Lustre. Proceedings of the IEEE 79(9), 1305–1320 (1991)

4. Harel, D., Pnueli, A.: On the development of reactive systems. In: Logics and Models of Concurrent Systems, pp. 477–498. Springer-Verlag New York, Inc., New York (1985), http://dl.acm.org/citation.cfm?id=101969.101990

5. Jahier, E., Raymond, P., Baufreton, P.: Case studies with lurette v2. STTT 8(6), 517–530 (2006), http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#JahierRB06

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

1. Automated test generation for synchronous controllers;Proceedings of the 11th International Workshop on Automation of Software Test - AST '16;2016

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号京ICP备18003416号-3