Funder
TATA CONSULTANCY SERVICES
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference59 articles.
1. Baier C, Katoen JP et al (2008) Principles of model checking, vol 26202649. MIT Press, Cambridge
2. Ball T, Majumdar R, Millstein T, Rajamani SK (2001) Automatic predicate abstraction of c programs. In: Programming language design and implementation. ACM, pp 203–213
3. Bonami P, Kilinç M, Linderoth J (2012) Algorithms and software for convex mixed integer nonlinear programs. In: Mixed integer nonlinear programming. Springer, Berlin, pp 1–39
4. Booch G, Rumbaugh J, Jacobson I (1996) The unified modeling language. Unix Rev 14(13):5
5. Carbin M, Misailovic S, Rinard MC (2013) Verifying quantitative reliability for programs that execute on unreliable hardware. ACM SIGPLAN Not 48(10):33–52
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Design and application of quantum framework based on automotive embedded operating system;Seventh International Conference on Electromechanical Control Technology and Transportation (ICECTT 2022);2022-11-23