Testing Real-Time Systems Using TINA-Reference-Cited by-同舟云学术

Testing Real-Time Systems Using TINA

Published:2009 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Testing of Software and Communication Systems
language:
Short-container-title:

Author:

Adjir Noureddine,De Saqui-Sannes Pierre,Rahmouni Kamel Mustapha

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05031-2_1

Reference46 articles.

1. Adjir, N., De Saqui-Sanne, P., Rahmouni, M.K.: Génération des séquences de test temporisés à partir des réseaux de Petri temporels à chronomètres. In: NOTERE 2007, Maroc.

2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

3. Lecture Notes in Computer Science;B. Bérard,2005

4. Lecture Notes in Computer Science;B. Bérard,2005

5. Berthomieu, B., Diaz, M.: Modelling and verification of time dependent systems using time Petri nets. IEEE transactions on software Engineering 17(3) (1991)

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

1. Reliability and availability prediction of embedded systems based on environment modeling and simulation;Simulation Modelling Practice and Theory;2021-04

2. Testing concurrent user behavior of synchronous web applications with Petri nets;Software & Systems Modeling;2018-02-28

3. Using Petri Nets to Test Concurrent Behavior of Web Applications;2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2016-04

4. Model-based robustness testing for avionics-embedded software;Chinese Journal of Aeronautics;2013-06

5. Environment modeling and simulation for automated testing of soft real-time embedded software;Software & Systems Modeling;2013-04-02