Refinement-Based Verification of Interactive Real-Time Systems-Reference-Cited by-同舟云学术

Refinement-Based Verification of Interactive Real-Time Systems

Author:

Spichkova Maria

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference10 articles.

1. European Commission (DG Enterprise and DG Information Society): eSafety forum: Summary report 2003. Technical report, eSafety, 2003

2. The B-book: assigning programs to meanings;Abrial,1996

3. Towards Modularized Verification of Distributed Time-Triggered Systems;Botaschanjan,2006

5. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement;Broy,2001

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

1. A Human-centred Framework for Combinatorial Test Design;Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering;2016

2. AHR: Human-Centred Aspects of Test Design;Communications in Computer and Information Science;2016

3. Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems;2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS);2015-12