Cargando...

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

Detalles Bibliográficos
Autor Principal:	Yoeli, Michael
Idioma:	English
Publicado:	New Jersey John Wiley & Sons 2008
Subjects:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Títulos similares

Cargando...

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

Cargando...

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

Cargando...

Foundation of program verification /
por: Loeckx, Jacques
Publicado: (1983)

Cargando...

Program construction and verification /
por: Backhouse, Roland C .
Publicado: (1986)

Cargando...

Principles of model checking /
por: Baier, Christel
Publicado: (2012)

Cargando...

Current trends in hardware verification and automated theorem proving
por: Current trends in
Publicado: (1989)

Cargando...

Program construction and verification
por: Backhouse, Roland C; Author
Publicado: (1986)

Cargando...

Program verification using Ada
por: McGettrick, Andrew D; Author
Publicado: (1982)

Cargando...

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

Cargando...

Protocol specification, testing and verification
por: Diaz, Michel
Publicado: (1986)

Cargando...

Confirmation and confirmability /
por: Schlesinger, G.
Publicado: (1974)

Cargando...

Disarmament Forum Arms control verification /
Publicado: (2010)

Cargando...

Verification of sequential and concurrent programs /
por: Gries, David .
Publicado: (1991)

Cargando...

Reconfigurable system design and verification
por: Hsiung, Pao-Ann
Publicado: (2009)

Cargando...

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

Cargando...

Testing computer software
por: Kaner, Cem
Publicado: (2012)

Cargando...

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

Cargando...

Software testing: principles, techniques and tools
por: Limaye, M G
Publicado: (2009)

Cargando...

Challenges of Verification: Smaller states and arms control
por: Gaertner, Heinz
Publicado: (1989)

Cargando...

Intelligent Task Planning Using Fuzzy Petri nets
por: Cao, Tiehua
Publicado: (1996)

Cargando...

Logic and argument /
por: Kirwan, Christopher
Publicado: (1978)

Cargando...

Handbook of materials management
por: GHopalakrishnan,P
Publicado: (2009)

Cargando...

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

Cargando...

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

Cargando...

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

Cargando...

Intelligent task planning using fuzzy petri nets /
por: Cao, Tiehua
Publicado: (1996)

Cargando...

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

Cargando...

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

Cargando...

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

Cargando...

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

Cargando...

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

Cargando...

The economics of software quality /
por: Jones, Capers
Publicado: (2012)

Cargando...

Digital concepts using standard integrated circuits
por: Sandige, Richard
Publicado: (1978)

Cargando...

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

Cargando...

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

Cargando...

How to use integrated circuit logic elements
por: Streater, Jack W
Publicado: (1979)

Cargando...

Introduction to system design using integrated circuits
por: Sonde B S
Publicado: (1980)

Cargando...

Electronic circuits by system and computer analysis
por: Cornetet, Wendell H
Publicado: (1975)

Cargando...

Bappuji karayunnu /
por: Ramankutty, Chunakkara
Publicado: (2005)

Cargando...

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