Toshiaki Aoki. Model Checking Multi-Task Software on Real-Time Operating Systems. In 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. pages 551-555, IEEE Computer Society, 2008. [doi]
@inproceedings{Aoki08, title = {Model Checking Multi-Task Software on Real-Time Operating Systems}, author = {Toshiaki Aoki}, year = {2008}, doi = {10.1109/ISORC.2008.46}, url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.46}, tags = {operating system, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Aoki08}, cites = {0}, citedby = {0}, pages = {551-555}, booktitle = {11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA}, publisher = {IEEE Computer Society}, }