%0 Thesis %1 phd/de/Schwarz15 %A Schwarz, Martin D. %D 2015 %I Verlag Dr. Hut %K dblp %P 1-120 %T Static analysis of embedded software with priority scheduling and interrupts.

@phdthesis{phd/de/Schwarz15, added-at = {2021-07-17T00:00:00.000+0200}, author = {Schwarz, Martin D.}, biburl = {https://www.bibsonomy.org/bibtex/2a4370a2daf3bc8cfdfbc7d07317dc6fa/dblp}, ee = {https://d-nb.info/106770826X}, interhash = {5d84695c8a6ee7643d9ce12b85a411ad}, intrahash = {a4370a2daf3bc8cfdfbc7d07317dc6fa}, keywords = {dblp}, pages = {1-120}, publisher = {Verlag Dr. Hut}, school = {Technical University Munich}, timestamp = {2024-04-09T09:09:26.000+0200}, title = {Static analysis of embedded software with priority scheduling and interrupts.}, year = 2015 }