Carregant...

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

Dades bibliogràfiques
Autor principal:	Yoeli, Michael
Idioma:	English
Publicat:	New Jersey John Wiley & Sons 2008
Matèries:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Ítems similars

Carregant...

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

Carregant...

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

Carregant...

Foundation of program verification /
per: Loeckx, Jacques
Publicat: (1983)

Carregant...

Program construction and verification /
per: Backhouse, Roland C .
Publicat: (1986)

Carregant...

Principles of model checking /
per: Baier, Christel
Publicat: (2012)

Carregant...

Current trends in hardware verification and automated theorem proving
per: Current trends in
Publicat: (1989)

Carregant...

Program construction and verification
per: Backhouse, Roland C; Author
Publicat: (1986)

Carregant...

Program verification using Ada
per: McGettrick, Andrew D; Author
Publicat: (1982)

Carregant...

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

Carregant...

Protocol specification, testing and verification
per: Diaz, Michel
Publicat: (1986)

Carregant...

Confirmation and confirmability /
per: Schlesinger, G.
Publicat: (1974)

Carregant...

Disarmament Forum Arms control verification /
Publicat: (2010)

Carregant...

Verification of sequential and concurrent programs /
per: Gries, David .
Publicat: (1991)

Carregant...

Reconfigurable system design and verification
per: Hsiung, Pao-Ann
Publicat: (2009)

Carregant...

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

Carregant...

Testing computer software
per: Kaner, Cem
Publicat: (2012)

Carregant...

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

Carregant...

Software testing: principles, techniques and tools
per: Limaye, M G
Publicat: (2009)

Carregant...

Challenges of Verification: Smaller states and arms control
per: Gaertner, Heinz
Publicat: (1989)

Carregant...

Intelligent Task Planning Using Fuzzy Petri nets
per: Cao, Tiehua
Publicat: (1996)

Carregant...

Logic and argument /
per: Kirwan, Christopher
Publicat: (1978)

Carregant...

Handbook of materials management
per: GHopalakrishnan,P
Publicat: (2009)

Carregant...

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

Carregant...

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

Carregant...

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

Carregant...

Intelligent task planning using fuzzy petri nets /
per: Cao, Tiehua
Publicat: (1996)

Carregant...

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

Carregant...

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

Carregant...

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

Carregant...

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

Carregant...

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

Carregant...

The economics of software quality /
per: Jones, Capers
Publicat: (2012)

Carregant...

Digital concepts using standard integrated circuits
per: Sandige, Richard
Publicat: (1978)

Carregant...

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

Carregant...

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

Carregant...

How to use integrated circuit logic elements
per: Streater, Jack W
Publicat: (1979)

Carregant...

Introduction to system design using integrated circuits
per: Sonde B S
Publicat: (1980)

Carregant...

Electronic circuits by system and computer analysis
per: Cornetet, Wendell H
Publicat: (1975)

Carregant...

Bappuji karayunnu /
per: Ramankutty, Chunakkara
Publicat: (2005)

Carregant...

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