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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yoeli, Michael
Weitere Verfasser:	Kol, Rakefet
Veröffentlicht:	John Wiley & Sons, Incorporated
Schlagworte:	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
Online-Zugang:	Full Text - Ebook
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Schreiben Sie den ersten Kommentar!