Á lódáil...

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

Sonraí Bibleagrafaíochta
Príomhúdar:	Yoeli, Michael
Teanga:	English
Foilsithe:	New Jersey John Wiley & Sons 2008
Ábhair:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Míreanna Comhchosúla

Á lódáil...

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
le: Yoeli, Michael
Foilsithe: (2008)

Á lódáil...

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

Á lódáil...

Foundation of program verification /
le: Loeckx, Jacques
Foilsithe: (1983)

Á lódáil...

Program construction and verification /
le: Backhouse, Roland C .
Foilsithe: (1986)

Á lódáil...

Principles of model checking /
le: Baier, Christel
Foilsithe: (2012)

Á lódáil...

Current trends in hardware verification and automated theorem proving
le: Current trends in
Foilsithe: (1989)

Á lódáil...

Program construction and verification
le: Backhouse, Roland C; Author
Foilsithe: (1986)

Á lódáil...

Program verification using Ada
le: McGettrick, Andrew D; Author
Foilsithe: (1982)

Á lódáil...

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

Á lódáil...

Protocol specification, testing and verification
le: Diaz, Michel
Foilsithe: (1986)

Á lódáil...

Confirmation and confirmability /
le: Schlesinger, G.
Foilsithe: (1974)

Á lódáil...

Disarmament Forum Arms control verification /
Foilsithe: (2010)

Á lódáil...

Verification of sequential and concurrent programs /
le: Gries, David .
Foilsithe: (1991)

Á lódáil...

Reconfigurable system design and verification
le: Hsiung, Pao-Ann
Foilsithe: (2009)

Á lódáil...

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

Á lódáil...

Testing computer software
le: Kaner, Cem
Foilsithe: (2012)

Á lódáil...

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

Á lódáil...

Software testing: principles, techniques and tools
le: Limaye, M G
Foilsithe: (2009)

Á lódáil...

Challenges of Verification: Smaller states and arms control
le: Gaertner, Heinz
Foilsithe: (1989)

Á lódáil...

Intelligent Task Planning Using Fuzzy Petri nets
le: Cao, Tiehua
Foilsithe: (1996)

Á lódáil...

Logic and argument /
le: Kirwan, Christopher
Foilsithe: (1978)

Á lódáil...

Handbook of materials management
le: GHopalakrishnan,P
Foilsithe: (2009)

Á lódáil...

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

Á lódáil...

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

Á lódáil...

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

Á lódáil...

Intelligent task planning using fuzzy petri nets /
le: Cao, Tiehua
Foilsithe: (1996)

Á lódáil...

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

Á lódáil...

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

Á lódáil...

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

Á lódáil...

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

Á lódáil...

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

Á lódáil...

The economics of software quality /
le: Jones, Capers
Foilsithe: (2012)

Á lódáil...

Digital concepts using standard integrated circuits
le: Sandige, Richard
Foilsithe: (1978)

Á lódáil...

Using digital and analog integrated circuits
le: Shacklette, L W; Ashworth, H A
Foilsithe: (1978)

Á lódáil...

Introduction to system design using integrated circuits
le: Sonde, B. S.
Foilsithe: (1980)

Á lódáil...

How to use integrated circuit logic elements
le: Streater, Jack W
Foilsithe: (1979)

Á lódáil...

Introduction to system design using integrated circuits
le: Sonde B S
Foilsithe: (1980)

Á lódáil...

Electronic circuits by system and computer analysis
le: Cornetet, Wendell H
Foilsithe: (1975)

Á lódáil...

Bappuji karayunnu /
le: Ramankutty, Chunakkara
Foilsithe: (2005)

Á lódáil...

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