CrossRef Open Access 2025

Specification and Formal Verification of Hardware–Software Contracts for High-Assurance Computer Architectures

Caroline Trippel

Penulis (1)

Caroline Trippel

Format Sitasi

APA MLA BibTeX

Trippel, C. (2025). Specification and Formal Verification of Hardware–Software Contracts for High-Assurance Computer Architectures. https://doi.org/10.1109/mc.2025.3573841

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1109/mc.2025.3573841

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: CrossRef
DOI: 10.1109/mc.2025.3573841
Akses: Open Access ✓