A carregar...

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

Detalhes bibliográficos
Autor principal:	Yoeli, Michael
Formato:	Printed Book
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 using LOTOS,Petri Nets, and CCS
Por: Yoeli, Michael
Publicado em: (2008)

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...

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

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...

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

A carregar...

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

A carregar...

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

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...

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

A carregar...

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

A carregar...

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

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...

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

A carregar...

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

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...

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

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)

A carregar...

Linear integrated circuits
Por: Choudhury, D Roy
Publicado em: (2003)

A carregar...

Introduction to integrated circuits
Por: Grinich, Victor H
Publicado em: (1975)

A carregar...

Linear integrated circuits
Por: Young, Thomas
Publicado em: (1981)

A carregar...

Research methods for graduate business and social science students.
Por: Adams, John
Publicado em: (2007)

A carregar...

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