A constructive approach to hardware/software partitioning

From MaRDI portal

Publication:1878913

Jump to:navigation, search

DOI10.1023/B:FORM.0000004787.52329.98zbMath1073.68540MaRDI QIDQ1878913

Leila Silva, Augusto Sampaio, Edna Barros

Publication date: 9 September 2004

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

formal verification hardware/software partitioning co-design occam algebraic laws

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99)

Related Items (2)

Introducing concurrency in sequential Java via laws ⋮ Correct hardware synthesis

This page was built for publication: A constructive approach to hardware/software partitioning

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1878913&oldid=14281965"