@book{ BA7129349X,
 author = "IEEE High-Assurance Systems Engineering Workshop and IEEE Computer Society and IEEE Computer Society. TC on Distributed Processing and The National Institute for Systems Test and Productivity and University of South Florida",
 title = "Eighth IEEE International Symposium on High Assurance Systems Engineering : proceedings : 25-26 March 2004, Tampa, Florida",
 publisher = "IEEE Computer Society",
 year = "2004",
 URL = "https://ci.nii.ac.jp/ncid/BA7129349X"
}
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://ci.nii.ac.jp:443/ncid/BA7129349X.bib">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BA7129349X.bib" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>