An Expressive and Implementable Formal Framework for Testing Real-Time Systems-Reference-Cited by-同舟云学术

An Expressive and Implementable Formal Framework for Testing Real-Time Systems

Published:2005 Issue: Volume: Page:209-225
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Krichen Moez,Tripakis Stavros

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11430230_15

Reference19 articles.

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

2. Berthomieu, B., Menasche, M.: An enumerative approach for analyzing time Petri nets. IFIP Congress Series 9, 41–46 (1983)

3. Lecture Notes in Computer Science;M. Bozga,2000

4. Bozga, M., Graf, S., Kerbrat, A., Mounier, L., Ober, I., Vincent, D.: SDL for Real-Time: What is Missing? In: Proceedings of SAM 2000: 2nd Workshop on SDL and MSC. IMAG, Grenoble, France, June 2000, pp. 108–122 (2000)

5. Cardell-Oliver, R.: Conformance tests for real-time systems with timed automata specifications. Formal Aspects of Computing 12(5), 350–371 (2000)

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

1. Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains;Theoretical Aspects of Computing – ICTAC 2019;2019

2. Modeling and Testing of Web-Based Systems;Emergent Web Intelligence: Advanced Semantic Technologies;2010

3. Testing timed systems modeled by Stream X-machines;Software & Systems Modeling;2009-08-14

4. Testing Real-Time Systems Using TINA;Testing of Software and Communication Systems;2009

5. A formal method to real-time protocol interoperability testing;Science in China Series F: Information Sciences;2008-10-16