Hiroyuki Tomiyama, Shin-ichiro Chikada, Shinya Honda, Hiroaki Takada. An RTOS-Based Design and Validation Methodology for Embedded Systems. IEICE Transactions, 88-D(9):2205-2208, 2005. [doi]
@article{TomiyamaCHT05, title = {An RTOS-Based Design and Validation Methodology for Embedded Systems}, author = {Hiroyuki Tomiyama and Shin-ichiro Chikada and Shinya Honda and Hiroaki Takada}, year = {2005}, doi = {10.1093/ietisy/e88-d.9.2205}, url = {http://dx.doi.org/10.1093/ietisy/e88-d.9.2205}, tags = {rule-based, design}, researchr = {https://researchr.org/publication/TomiyamaCHT05}, cites = {0}, citedby = {0}, journal = {IEICE Transactions}, volume = {88-D}, number = {9}, pages = {2205-2208}, }