Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Yoeli, Michael
Další autoři:	Kol, Rakefet
Vydáno:	John Wiley & Sons, Incorporated
Témata:	UMZ Computers Integrated circuits > Verification Computer programming Computer science UPD Parallel processing Computer engineering Distributed control systems Design LOTOS (Computer program language) Engineering Petri nets Electrical engineering Integrated circuits > Verification. ; Computer software > Verification. ; LOTOS (Computer program language) ; Petri nets. Computer software > Verification
On-line přístup:	Full Text - Ebook
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!