Paula Herber, Sabine Glesner. Verification of Embedded Real-time Systems. In Rolf Drechsler, Ulrich Kühne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. pages 1-25, Springer, 2015. [doi]
@inproceedings{HerberG15, title = {Verification of Embedded Real-time Systems}, author = {Paula Herber and Sabine Glesner}, year = {2015}, doi = {10.1007/978-3-658-09994-7_1}, url = {http://dx.doi.org/10.1007/978-3-658-09994-7_1}, researchr = {https://researchr.org/publication/HerberG15}, cites = {0}, citedby = {0}, pages = {1-25}, booktitle = {Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015}, editor = {Rolf Drechsler and Ulrich Kühne}, publisher = {Springer}, isbn = {978-3-658-09994-7}, }