Shuichi Oikawa. Enforcing dependable operations by model checking a visualization layer. In IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011. pages 254-256, IEEE, 2011. [doi]
@inproceedings{Oikawa11, title = {Enforcing dependable operations by model checking a visualization layer}, author = {Shuichi Oikawa}, year = {2011}, doi = {10.1109/DSNW.2011.5958851}, url = {http://doi.ieeecomputersociety.org/10.1109/DSNW.2011.5958851}, researchr = {https://researchr.org/publication/Oikawa11}, cites = {0}, citedby = {0}, pages = {254-256}, booktitle = {IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011}, publisher = {IEEE}, isbn = {978-1-4577-0374-4}, }