Verification of systems and circuits using LOTOS, Petri Nets, and CCS
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Hoboken, N.J. :
Wiley-Interscience,
c2008.
|
| シリーズ: | Wiley series on parallel and distributed computing.
|
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Comprehensive functional verification the complete industry cycle
- Comprehensive functional verification the complete industry cycle
- Verification techniques for system-level design
- Verification techniques for system-level design
- Compact models for integrated circuit design : conventional transistors and beyond /