Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Karsten Strehl

Books by author

Karsten Strehl

Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design

Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design

2000 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme