Title | K-induction based verification of real-time safety critical systems. |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Tóth, T., Majzik, I., and Vörös, A. |
Editor | Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., and Kacprzyk, J. |
Conference Name | Conference on Dependability and Complex Systems DepCoS-RELCOMEX |
Date Published | 2013 |
Publisher | Springer International Publishing |
Conference Location | Brunów, Poland |
ISBN Number | 978-3-319-00944-5 |
URL | http://link.springer.com/chapter/10.1007%2F978-3-319-00945-2_43 |
DOI | 10.1007/978-3-319-00945-2_43 |