Wird geladen...

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

Bibliographische Detailangaben
1. Verfasser:	Yoeli, Michael
Sprache:	English
Veröffentlicht:	New Jersey John Wiley & Sons 2008
Schlagworte:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Ähnliche Einträge

Wird geladen...

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
von: Yoeli, Michael
Veröffentlicht: (2008)

Wird geladen...

Essential software testing: a use-case approach
von: Fournier, Greg; Author
Veröffentlicht: (2009)

Wird geladen...

Foundation of program verification /
von: Loeckx, Jacques
Veröffentlicht: (1983)

Wird geladen...

Program construction and verification /
von: Backhouse, Roland C .
Veröffentlicht: (1986)

Wird geladen...

Principles of model checking /
von: Baier, Christel
Veröffentlicht: (2012)

Wird geladen...

Current trends in hardware verification and automated theorem proving
von: Current trends in
Veröffentlicht: (1989)

Wird geladen...

Program construction and verification
von: Backhouse, Roland C; Author
Veröffentlicht: (1986)

Wird geladen...

Program verification using Ada
von: McGettrick, Andrew D; Author
Veröffentlicht: (1982)

Wird geladen...

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

Wird geladen...

Protocol specification, testing and verification
von: Diaz, Michel
Veröffentlicht: (1986)

Wird geladen...

Confirmation and confirmability /
von: Schlesinger, G.
Veröffentlicht: (1974)

Wird geladen...

Disarmament Forum Arms control verification /
Veröffentlicht: (2010)

Wird geladen...

Verification of sequential and concurrent programs /
von: Gries, David .
Veröffentlicht: (1991)

Wird geladen...

Reconfigurable system design and verification
von: Hsiung, Pao-Ann
Veröffentlicht: (2009)

Wird geladen...

Petri nets : fundamental models, verification and applications /
Veröffentlicht: (2009)

Wird geladen...

Testing computer software
von: Kaner, Cem
Veröffentlicht: (2012)

Wird geladen...

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

Wird geladen...

Software testing: principles, techniques and tools
von: Limaye, M G
Veröffentlicht: (2009)

Wird geladen...

Challenges of Verification: Smaller states and arms control
von: Gaertner, Heinz
Veröffentlicht: (1989)

Wird geladen...

Intelligent Task Planning Using Fuzzy Petri nets
von: Cao, Tiehua
Veröffentlicht: (1996)

Wird geladen...

Logic and argument /
von: Kirwan, Christopher
Veröffentlicht: (1978)

Wird geladen...

Handbook of materials management
von: GHopalakrishnan,P
Veröffentlicht: (2009)

Wird geladen...

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

Wird geladen...

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
von: Spillner, Andreas
Veröffentlicht: (2011)

Wird geladen...

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

Wird geladen...

Intelligent task planning using fuzzy petri nets /
von: Cao, Tiehua
Veröffentlicht: (1996)

Wird geladen...

Modeling in systems biology the petri net approach
von: Koch, Ina; ed
Veröffentlicht: (2011)

Wird geladen...

USE OF PROGRAMME UMBERTO FOR MODELING INFORMATION FLOW IN PUBLIC ADMINISTRATION
von: ING ROBERT BAT'A
Veröffentlicht: (2006)

Wird geladen...

System modeling and control with resource-oriented Petri nets /
von: Wu, Naiqi
Veröffentlicht: (2010)

Wird geladen...

Fault Diagnosis of Digital Systems
von: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Veröffentlicht: (1970)

Wird geladen...

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

Wird geladen...

The economics of software quality /
von: Jones, Capers
Veröffentlicht: (2012)

Wird geladen...

Digital concepts using standard integrated circuits
von: Sandige, Richard
Veröffentlicht: (1978)

Wird geladen...

Using digital and analog integrated circuits
von: Shacklette, L W; Ashworth, H A
Veröffentlicht: (1978)

Wird geladen...

Introduction to system design using integrated circuits
von: Sonde, B. S.
Veröffentlicht: (1980)

Wird geladen...

How to use integrated circuit logic elements
von: Streater, Jack W
Veröffentlicht: (1979)

Wird geladen...

Introduction to system design using integrated circuits
von: Sonde B S
Veröffentlicht: (1980)

Wird geladen...

Electronic circuits by system and computer analysis
von: Cornetet, Wendell H
Veröffentlicht: (1975)

Wird geladen...

Bappuji karayunnu /
von: Ramankutty, Chunakkara
Veröffentlicht: (2005)

Wird geladen...

Straight to the point C#.Net 2005
von: Dinesh Maidasani; Author
Veröffentlicht: (2009)