Lanean...

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

Xehetasun bibliografikoak
Egile nagusia:	Yoeli, Michael
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	New Jersey John Wiley & Sons 2008
Gaiak:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Antzeko izenburuak

Lanean...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
nork: Yoeli, Michael
Argitaratua: (2008)

Lanean...

Foundation of program verification /
nork: Loeckx, Jacques
Argitaratua: (1983)

Lanean...

Program construction and verification /
nork: Backhouse, Roland C .
Argitaratua: (1986)

Lanean...

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

Lanean...

Principles of model checking /
nork: Baier, Christel
Argitaratua: (2012)

Lanean...

Current trends in hardware verification and automated theorem proving
nork: Current trends in
Argitaratua: (1989)

Lanean...

Program construction and verification
nork: Backhouse, Roland C; Author
Argitaratua: (1986)

Lanean...

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

Lanean...

Protocol specification, testing and verification
nork: Diaz, Michel
Argitaratua: (1986)

Lanean...

Program verification using Ada
nork: McGettrick, Andrew D; Author
Argitaratua: (1982)

Lanean...

Confirmation and confirmability /
nork: Schlesinger, G.
Argitaratua: (1974)

Lanean...

Disarmament Forum Arms control verification /
Argitaratua: (2010)

Lanean...

Verification of sequential and concurrent programs /
nork: Gries, David .
Argitaratua: (1991)

Lanean...

Reconfigurable system design and verification
nork: Hsiung, Pao-Ann
Argitaratua: (2009)

Lanean...

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

Lanean...

Testing computer software
nork: Kaner, Cem
Argitaratua: (2012)

Lanean...

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

Lanean...

Software testing: principles, techniques and tools
nork: Limaye, M G
Argitaratua: (2009)

Lanean...

Challenges of Verification: Smaller states and arms control
nork: Gaertner, Heinz
Argitaratua: (1989)

Lanean...

Logic and argument /
nork: Kirwan, Christopher
Argitaratua: (1978)

Lanean...

Handbook of materials management
nork: GHopalakrishnan,P
Argitaratua: (2009)

Lanean...

Intelligent Task Planning Using Fuzzy Petri nets
nork: Cao, Tiehua
Argitaratua: (1996)

Lanean...

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

Lanean...

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

Lanean...

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

Lanean...

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

Lanean...

Intelligent task planning using fuzzy petri nets /
nork: Cao, Tiehua
Argitaratua: (1996)

Lanean...

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

Lanean...

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

Lanean...

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

Lanean...

The economics of software quality /
nork: Jones, Capers
Argitaratua: (2012)

Lanean...

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

Lanean...

Electronic circuits by system and computer analysis
nork: Cornetet, Wendell H
Argitaratua: (1975)

Lanean...

Bappuji karayunnu /
nork: Ramankutty, Chunakkara
Argitaratua: (2005)

Lanean...

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

Lanean...

Linear integrated circuits
nork: Choudhury, D Roy
Argitaratua: (2003)

Lanean...

Introduction to integrated circuits
nork: Grinich, Victor H
Argitaratua: (1975)

Lanean...

Linear integrated circuits
nork: Young, Thomas
Argitaratua: (1981)

Lanean...

Research methods for graduate business and social science students.
nork: Adams, John
Argitaratua: (2007)

Lanean...

Digital concepts using standard integrated circuits
nork: Sandige, Richard
Argitaratua: (1978)