Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference37 articles.
1. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid Systems, 209–229 (1992)
2. Alur, R., Henzinger, T.A.: Modularity for timed and hybrid systems, Springer, Berlin, 74–88 (1997)
3. ASAM. ASAM HIL V1.0.0. URL: http://www.asam.net/nc/home/standards/standard-detail.html?tx &start=
4. Autosar Consortium. Web Site of the Autosar Consortium (2012)
5. Börger, E., Schulte, W.: A programmer friendly modular definition of the semantics of Java. In: Formal Syntax and Semantics of Java. Springer, London (1999). ISBN 3-540-66158-1, 353–404
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Observation Based Creation of Minimal Test Suites for Autonomous Vehicles;2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2017-10
2. Risk-based testing via active continuous quality control;International Journal on Software Tools for Technology Transfer;2014-05-30
3. History, status, and recent trends of the testing and test control notation version 3 (TTCN-3);International Journal on Software Tools for Technology Transfer;2014-03-15