Hardware/Software Integration Testing for the new Airbus Aircraft Families
暂无分享,去创建一个
[1] E. L. Harder,et al. The Institute of Electrical and Electronics Engineers, Inc. , 2019, 2019 IEEE International Conference on Software Architecture Companion (ICSA-C).
[2] Brian Nielsen. Specification and Test of Real-Time Systems , 2000 .
[3] Matthew Hennessy,et al. Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.
[4] Steve A. Schneider,et al. An Operational Semantics for Timed CSP , 1995, Inf. Comput..
[5] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[6] Jim Woodcock,et al. FME'96: Industrial Benefit and Advances in Formal Methods , 1996, Lecture Notes in Computer Science.
[7] Jan Peleska,et al. Test Automation for Safety-Critical Systems: Industrial Application and Future Developments , 1996, FME.
[8] Rachel Cardell-Oliver. Conformance Tests for Real-Time Systems with Timed Automata Specifications , 2000, Formal Aspects of Computing.
[9] Jan Peleska,et al. Test automation of safety-critical reactive systems , 1997 .
[10] Jan Peleska,et al. From Testing Theory to Test Driver Implementation , 1996, FME.
[11] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[12] Christos H. Papadimitriou,et al. Elements of the Theory of Computation , 1997, SIGA.
[13] Bettina Buth,et al. Formal Methods for the International Space Station ISS , 1999, Correct System Design.