Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino. Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. In Peter Y. K. Cheung, George A. Constantinides, José T. de Sousa, editors, Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings. Volume 2778 of Lecture Notes in Computer Science, pages 1145-1148, Springer, 2003. [doi]
@inproceedings{KitaniTNYNH03,
title = {Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking},
author = {Tomoya Kitani and Yoshifumi Takamoto and Isao Naka and Keiichi Yasumoto and Akio Nakata and Teruo Higashino},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2778&spage=1145},
tags = {model checking, meta-model, Meta-Environment, design},
researchr = {https://researchr.org/publication/KitaniTNYNH03},
cites = {0},
citedby = {0},
pages = {1145-1148},
booktitle = {Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings},
editor = {Peter Y. K. Cheung and George A. Constantinides and José T. de Sousa},
volume = {2778},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40822-3},
}