FDL2007 in Barcelona

OneSpinsは9月17日から19日にバルセロナで開催されるFDL2007に協賛します。

OneSpinはEuropean Electronic Chips & Systems design Initiative (ECSI)主催のFormal Description Languages 2007 (FDL 2007) カンファレンスに協賛いたします。このカンファレンス／展示会は9月17日から19日まで、スペインのバルセロナで開催されます。 Property-Driven Design、Verification & Debugセッションおよび展示エリアにてOneSpin製品の最新情報をご覧ください。詳細は http://www.ecsi.org/ を参照してください。
プログラムは次から入手できます：
http://www.ecsi-association.org/ecsi/fdl/fdl07/doc/FDL2007_Advance_Programme.pdf.
登録は
http://www.ecsi.org/fdl
から行うか、次のフォームを ECSI に送信してください：
http://www.ecsi-association.org/ecsi/fdl/fdl07/doc/FDL07RegistrationForm.pdf