Author:
Skruch Pawel,Dlugosz Marek,Mitkowski Wojciech,Szelest Marcin
Publisher
Springer Nature Switzerland
Reference30 articles.
1. Adrion, W., Brandstad, J., Cherniabsky, J.: Validation, verification and testing of computer software. Comput. Surv. 14(2), 159–192 (1982)
2. Alekseev, V.M., Tikhomirov, V.M., Fomin, S.V.: Optimal Control. Consultants Bureau, New York (1987)
3. Boltyanskii, V.G.: Mathematical Methods of Optimal Control. Holt, Rinehart & Winston, New York (1971)
4. Broy, M., Krcmar, H., Zimmermann, J., Kirstan, S.: EETimes Europe: model-based software development in the automotive industry (2011). http://www.electronics-eetimes.com/en/model-based-development.html
5. Chilenski, J.J., Miller, S.P.: Applicability of modified condition/decision coverage to software testing. Softw. Eng. J. 9(5), 193–200 (1994)