Caricamento...

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

Dettagli Bibliografici
Autore principale:	Yoeli, Michael
Natura:	Printed Book
Lingua:	English
Pubblicazione:	New Jersey John Wiley & Sons 2008
Soggetti:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Documenti analoghi

Caricamento...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
di: Yoeli, Michael
Pubblicazione: (2008)

Caricamento...

Foundation of program verification /
di: Loeckx, Jacques
Pubblicazione: (1983)

Caricamento...

Program construction and verification /
di: Backhouse, Roland C .
Pubblicazione: (1986)

Caricamento...

Essential software testing: a use-case approach
di: Fournier, Greg; Author
Pubblicazione: (2009)

Caricamento...

Principles of model checking /
di: Baier, Christel
Pubblicazione: (2012)

Caricamento...

Current trends in hardware verification and automated theorem proving
di: Current trends in
Pubblicazione: (1989)

Caricamento...

Program construction and verification
di: Backhouse, Roland C; Author
Pubblicazione: (1986)

Caricamento...

Validation and Verification techniques for
di: Saxena , P, Dr

Caricamento...

Protocol specification, testing and verification
di: Diaz, Michel
Pubblicazione: (1986)

Caricamento...

Program verification using Ada
di: McGettrick, Andrew D; Author
Pubblicazione: (1982)

Caricamento...

Confirmation and confirmability /
di: Schlesinger, G.
Pubblicazione: (1974)

Caricamento...

Disarmament Forum Arms control verification /
Pubblicazione: (2010)

Caricamento...

Verification of sequential and concurrent programs /
di: Gries, David .
Pubblicazione: (1991)

Caricamento...

Reconfigurable system design and verification
di: Hsiung, Pao-Ann
Pubblicazione: (2009)

Caricamento...

Petri nets : fundamental models, verification and applications /
Pubblicazione: (2009)

Caricamento...

Testing computer software
di: Kaner, Cem
Pubblicazione: (2012)

Caricamento...

Collection development policy (CDP) in Kerala University Library system: A Study
di: Sureshkumar C and Sukumaran C.

Caricamento...

Software testing: principles, techniques and tools
di: Limaye, M G
Pubblicazione: (2009)

Caricamento...

Challenges of Verification: Smaller states and arms control
di: Gaertner, Heinz
Pubblicazione: (1989)

Caricamento...

Logic and argument /
di: Kirwan, Christopher
Pubblicazione: (1978)

Caricamento...

Handbook of materials management
di: GHopalakrishnan,P
Pubblicazione: (2009)

Caricamento...

Intelligent Task Planning Using Fuzzy Petri nets
di: Cao, Tiehua
Pubblicazione: (1996)

Caricamento...

Program logics for certified compilers /
di: Appel, Andrew W., 1960-

Caricamento...

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
di: Spillner, Andreas
Pubblicazione: (2011)

Caricamento...

Verification and validation in systems engineering assessing UML/sysML designed models
di: Debbabi, Mourad...[et.al]
Pubblicazione: (2010)

Caricamento...

Modeling in systems biology the petri net approach
di: Koch, Ina; ed
Pubblicazione: (2011)

Caricamento...

Intelligent task planning using fuzzy petri nets /
di: Cao, Tiehua
Pubblicazione: (1996)

Caricamento...

System modeling and control with resource-oriented Petri nets /
di: Wu, Naiqi
Pubblicazione: (2010)

Caricamento...

Fault Diagnosis of Digital Systems
di: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Pubblicazione: (1970)

Caricamento...

Perception of Law community about book pilferage: study of M D university, Rohtak

Caricamento...

The economics of software quality /
di: Jones, Capers
Pubblicazione: (2012)

Caricamento...

USE OF PROGRAMME UMBERTO FOR MODELING INFORMATION FLOW IN PUBLIC ADMINISTRATION
di: ING ROBERT BAT'A
Pubblicazione: (2006)

Caricamento...

Electronic circuits by system and computer analysis
di: Cornetet, Wendell H
Pubblicazione: (1975)

Caricamento...

Bappuji karayunnu /
di: Ramankutty, Chunakkara
Pubblicazione: (2005)

Caricamento...

Straight to the point C#.Net 2005
di: Dinesh Maidasani; Author
Pubblicazione: (2009)

Caricamento...

Linear integrated circuits
di: Choudhury, D Roy
Pubblicazione: (2003)

Caricamento...

Introduction to integrated circuits
di: Grinich, Victor H
Pubblicazione: (1975)

Caricamento...

Linear integrated circuits
di: Young, Thomas
Pubblicazione: (1981)

Caricamento...

Research methods for graduate business and social science students.
di: Adams, John
Pubblicazione: (2007)

Caricamento...

Digital concepts using standard integrated circuits
di: Sandige, Richard
Pubblicazione: (1978)