Wordt geladen...

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

Bibliografische gegevens
Hoofdauteur:	Yoeli, Michael
Formaat:	Printed Book
Taal:	English
Gepubliceerd in:	New Jersey John Wiley & Sons 2008
Onderwerpen:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Gelijkaardige items

Wordt geladen...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
door: Yoeli, Michael
Gepubliceerd in: (2008)

Wordt geladen...

Foundation of program verification /
door: Loeckx, Jacques
Gepubliceerd in: (1983)

Wordt geladen...

Program construction and verification /
door: Backhouse, Roland C .
Gepubliceerd in: (1986)

Wordt geladen...

Essential software testing: a use-case approach
door: Fournier, Greg; Author
Gepubliceerd in: (2009)

Wordt geladen...

Principles of model checking /
door: Baier, Christel
Gepubliceerd in: (2012)

Wordt geladen...

Current trends in hardware verification and automated theorem proving
door: Current trends in
Gepubliceerd in: (1989)

Wordt geladen...

Program construction and verification
door: Backhouse, Roland C; Author
Gepubliceerd in: (1986)

Wordt geladen...

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

Wordt geladen...

Protocol specification, testing and verification
door: Diaz, Michel
Gepubliceerd in: (1986)

Wordt geladen...

Program verification using Ada
door: McGettrick, Andrew D; Author
Gepubliceerd in: (1982)

Wordt geladen...

Confirmation and confirmability /
door: Schlesinger, G.
Gepubliceerd in: (1974)

Wordt geladen...

Disarmament Forum Arms control verification /
Gepubliceerd in: (2010)

Wordt geladen...

Verification of sequential and concurrent programs /
door: Gries, David .
Gepubliceerd in: (1991)

Wordt geladen...

Reconfigurable system design and verification
door: Hsiung, Pao-Ann
Gepubliceerd in: (2009)

Wordt geladen...

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

Wordt geladen...

Testing computer software
door: Kaner, Cem
Gepubliceerd in: (2012)

Wordt geladen...

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

Wordt geladen...

Software testing: principles, techniques and tools
door: Limaye, M G
Gepubliceerd in: (2009)

Wordt geladen...

Challenges of Verification: Smaller states and arms control
door: Gaertner, Heinz
Gepubliceerd in: (1989)

Wordt geladen...

Logic and argument /
door: Kirwan, Christopher
Gepubliceerd in: (1978)

Wordt geladen...

Handbook of materials management
door: GHopalakrishnan,P
Gepubliceerd in: (2009)

Wordt geladen...

Intelligent Task Planning Using Fuzzy Petri nets
door: Cao, Tiehua
Gepubliceerd in: (1996)

Wordt geladen...

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

Wordt geladen...

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

Wordt geladen...

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

Wordt geladen...

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

Wordt geladen...

Intelligent task planning using fuzzy petri nets /
door: Cao, Tiehua
Gepubliceerd in: (1996)

Wordt geladen...

System modeling and control with resource-oriented Petri nets /
door: Wu, Naiqi
Gepubliceerd in: (2010)

Wordt geladen...

Fault Diagnosis of Digital Systems
door: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Gepubliceerd in: (1970)

Wordt geladen...

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

Wordt geladen...

The economics of software quality /
door: Jones, Capers
Gepubliceerd in: (2012)

Wordt geladen...

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

Wordt geladen...

Electronic circuits by system and computer analysis
door: Cornetet, Wendell H
Gepubliceerd in: (1975)

Wordt geladen...

Bappuji karayunnu /
door: Ramankutty, Chunakkara
Gepubliceerd in: (2005)

Wordt geladen...

Straight to the point C#.Net 2005
door: Dinesh Maidasani; Author
Gepubliceerd in: (2009)

Wordt geladen...

Linear integrated circuits
door: Choudhury, D Roy
Gepubliceerd in: (2003)

Wordt geladen...

Introduction to integrated circuits
door: Grinich, Victor H
Gepubliceerd in: (1975)

Wordt geladen...

Linear integrated circuits
door: Young, Thomas
Gepubliceerd in: (1981)

Wordt geladen...

Research methods for graduate business and social science students.
door: Adams, John
Gepubliceerd in: (2007)

Wordt geladen...

Digital concepts using standard integrated circuits
door: Sandige, Richard
Gepubliceerd in: (1978)