Fumio Narisawa, Yoshikazu Ueda. Safety Verification Method for Priority-Based Real-Time Software. In Hamido Fujita, Ali Selamat, Sigeru Omatu, editors, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 16th International Conference, SoMeT_17, Kitakyushu City, Japan, September 26-28, 2017. Volume 297 of Frontiers in Artificial Intelligence and Applications, pages 409-424, IOS Press, 2017. [doi]
@inproceedings{NarisawaU17, title = {Safety Verification Method for Priority-Based Real-Time Software}, author = {Fumio Narisawa and Yoshikazu Ueda}, year = {2017}, doi = {10.3233/978-1-61499-800-6-409}, url = {https://doi.org/10.3233/978-1-61499-800-6-409}, researchr = {https://researchr.org/publication/NarisawaU17}, cites = {0}, citedby = {0}, pages = {409-424}, booktitle = {New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 16th International Conference, SoMeT_17, Kitakyushu City, Japan, September 26-28, 2017}, editor = {Hamido Fujita and Ali Selamat and Sigeru Omatu}, volume = {297}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-800-6}, }