Тема, жанр, tags: Integrated circuits -- Verification » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Integrated circuits -- Verification

book Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

pdf

Author: Drechsler Rolf
Language: English
Year: 2018

00

29.01.2024

0

0

book Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

pdf

Author: Yoeli Michael, Kol Rakefet
Language: English
Year: 2008

00

27.01.2024

0

0