Eine formale algorithmische Synthese digitaler Schaltungen
Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwind...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Online |
| Ngôn ngữ: | Tiếng Đức |
| Được phát hành: |
KIT Scientific Publishing
2021
|
| Những chủ đề: | |
| Truy cập trực tuyến: | 34592 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự: Eine formale algorithmische Synthese digitaler Schaltungen
- Netzwerk- und IT-Sicherheitsmanagement : eine Einführung
- Wissensbasierte Situationsinterpretation für eine kontextbezogene Chirurgieassistenz mittels Erweiterter Realität
- Intel Trusted Execution Technology for Server Platforms: A Guide to More Secure Datacenters
- Rethinking the Internet of Things: A Scalable Approach to Connecting Everything
- Elektronische Tischrechenautomaten. Aufbau und Wirkungsweise
- The InfoSec Handbook: An Introduction to Information Security