A carregar...

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

Detalhes bibliográficos
Autor principal:	Yoeli, Michael
Idioma:	English
Publicado em:	New Jersey John Wiley & Sons 2008
Assuntos:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Registos relacionados

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

Disarmament Forum Arms control verification /
Publicado em: (2010)

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

Testing computer software
Por: Kaner, Cem
Publicado em: (2012)

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

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

A carregar...

Bappuji karayunnu /
Por: Ramankutty, Chunakkara
Publicado em: (2005)

A carregar...

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