𝔖 Bobbio Scriptorium

✦ LIBER ✦

Process Algebra as a Common Framework for Hardware/Software Coverification

✍ Scribed by Raffelsieper, M.; Mousavi, M.R.; Sleuters, J.

Book ID: 117888135
Publisher: Institute of Electrical and Electronics Engineers
Year: 2011
Tongue: English
Weight: 163 KB
Volume: 3
Category: Article
ISSN: 1943-0663
DOI: 10.1109/les.2010.2091621

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - π-SPACE: a formal architecture description language based on process algebra for evolving software systems

✍ Chaudet, C.; Oquendo, F. 📂 Article 📅 2000 🏛 IEEE ⚖ 392 KB