Verification of systems and circuits using LOTOS, Petri Nets, and CCS View on Open Library

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

by Michael Yoeli , Michael Yoeli , Rakefet Kol

No reviews yet
First published: 2008 1 language ISBN: 9781281284679
Subjects
Verification Petri nets Computer software LOTOS (Computer program language) Integrated circuits Software engineering Computers Technology & Industrial Arts Computer Books: General Electronics - Circuits - General

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Verification
ISO 9001

ISO 9001

Ray Tricker
Arms control

Arms control

United States. General Accounting Office
Auditing

Auditing

Robert Hiester Montgomery
Reachability Problems

Reachability Problems

Parosh Aziz Abdulla
Software Testing

Software Testing

Brian Hambling
Auditing

Auditing

Larry E. Rittenberg