Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/ACISicis/GotoSNYT10
@inproceedings{DBLP:conf/ACISicis/GotoSNYT10, author = {Takaaki Goto and Yasunori Shiono and Tetsuro Nishino and Takeo Yaku and Kensei Tsuchida}, editor = {Tokuro Matsuo and Naohiro Ishii and Roger Y. Lee}, title = {Behavioral Verification in Hichart Development Environment for Embedded Software}, booktitle = {9th {IEEE/ACIS} International Conference on Computer and Information Science, {IEEE/ACIS} {ICIS} 2010, 18-20 August 2010, Yamagata, Japan}, pages = {337--340}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ICIS.2010.119}, doi = {10.1109/ICIS.2010.119}, timestamp = {Fri, 24 Mar 2023 00:03:41 +0100}, biburl = {https://dblp.org/rec/conf/ACISicis/GotoSNYT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.