Chargement en cours...

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

Détails bibliographiques
Auteur principal:	Yoeli, Michael
Format:	Printed Book
Langue:	English
Publié:	New Jersey John Wiley & Sons 2008
Sujets:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Documents similaires

Chargement en cours...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
par: Yoeli, Michael
Publié: (2008)

Chargement en cours...

Foundation of program verification /
par: Loeckx, Jacques
Publié: (1983)

Chargement en cours...

Program construction and verification /
par: Backhouse, Roland C .
Publié: (1986)

Chargement en cours...

Essential software testing: a use-case approach
par: Fournier, Greg; Author
Publié: (2009)

Chargement en cours...

Principles of model checking /
par: Baier, Christel
Publié: (2012)

Chargement en cours...

Current trends in hardware verification and automated theorem proving
par: Current trends in
Publié: (1989)

Chargement en cours...

Program construction and verification
par: Backhouse, Roland C; Author
Publié: (1986)

Chargement en cours...

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

Chargement en cours...

Protocol specification, testing and verification
par: Diaz, Michel
Publié: (1986)

Chargement en cours...

Program verification using Ada
par: McGettrick, Andrew D; Author
Publié: (1982)

Chargement en cours...

Confirmation and confirmability /
par: Schlesinger, G.
Publié: (1974)

Chargement en cours...

Disarmament Forum Arms control verification /
Publié: (2010)

Chargement en cours...

Verification of sequential and concurrent programs /
par: Gries, David .
Publié: (1991)

Chargement en cours...

Reconfigurable system design and verification
par: Hsiung, Pao-Ann
Publié: (2009)

Chargement en cours...

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

Chargement en cours...

Testing computer software
par: Kaner, Cem
Publié: (2012)

Chargement en cours...

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

Chargement en cours...

Software testing: principles, techniques and tools
par: Limaye, M G
Publié: (2009)

Chargement en cours...

Challenges of Verification: Smaller states and arms control
par: Gaertner, Heinz
Publié: (1989)

Chargement en cours...

Logic and argument /
par: Kirwan, Christopher
Publié: (1978)

Chargement en cours...

Handbook of materials management
par: GHopalakrishnan,P
Publié: (2009)

Chargement en cours...

Intelligent Task Planning Using Fuzzy Petri nets
par: Cao, Tiehua
Publié: (1996)

Chargement en cours...

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

Chargement en cours...

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

Chargement en cours...

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

Chargement en cours...

Modeling in systems biology the petri net approach
par: Koch, Ina; ed
Publié: (2011)

Chargement en cours...

Intelligent task planning using fuzzy petri nets /
par: Cao, Tiehua
Publié: (1996)

Chargement en cours...

System modeling and control with resource-oriented Petri nets /
par: Wu, Naiqi
Publié: (2010)

Chargement en cours...

Fault Diagnosis of Digital Systems
par: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Publié: (1970)

Chargement en cours...

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

Chargement en cours...

The economics of software quality /
par: Jones, Capers
Publié: (2012)

Chargement en cours...

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

Chargement en cours...

Electronic circuits by system and computer analysis
par: Cornetet, Wendell H
Publié: (1975)

Chargement en cours...

Bappuji karayunnu /
par: Ramankutty, Chunakkara
Publié: (2005)

Chargement en cours...

Straight to the point C#.Net 2005
par: Dinesh Maidasani; Author
Publié: (2009)

Chargement en cours...

Linear integrated circuits
par: Choudhury, D Roy
Publié: (2003)

Chargement en cours...

Introduction to integrated circuits
par: Grinich, Victor H
Publié: (1975)

Chargement en cours...

Linear integrated circuits
par: Young, Thomas
Publié: (1981)

Chargement en cours...

Research methods for graduate business and social science students.
par: Adams, John
Publié: (2007)

Chargement en cours...

Digital concepts using standard integrated circuits
par: Sandige, Richard
Publié: (1978)