Lataa...

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

Bibliografiset tiedot
Päätekijä:	Yoeli, Michael
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	New Jersey John Wiley & Sons 2008
Aiheet:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Samankaltaisia teoksia

Lataa...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
Tekijä: Yoeli, Michael
Julkaistu: (2008)

Lataa...

Foundation of program verification /
Tekijä: Loeckx, Jacques
Julkaistu: (1983)

Lataa...

Program construction and verification /
Tekijä: Backhouse, Roland C .
Julkaistu: (1986)

Lataa...

Essential software testing: a use-case approach
Tekijä: Fournier, Greg; Author
Julkaistu: (2009)

Lataa...

Principles of model checking /
Tekijä: Baier, Christel
Julkaistu: (2012)

Lataa...

Current trends in hardware verification and automated theorem proving
Tekijä: Current trends in
Julkaistu: (1989)

Lataa...

Program construction and verification
Tekijä: Backhouse, Roland C; Author
Julkaistu: (1986)

Lataa...

Validation and Verification techniques for
Tekijä: Saxena , P, Dr

Lataa...

Protocol specification, testing and verification
Tekijä: Diaz, Michel
Julkaistu: (1986)

Lataa...

Program verification using Ada
Tekijä: McGettrick, Andrew D; Author
Julkaistu: (1982)

Lataa...

Confirmation and confirmability /
Tekijä: Schlesinger, G.
Julkaistu: (1974)

Lataa...

Disarmament Forum Arms control verification /
Julkaistu: (2010)

Lataa...

Verification of sequential and concurrent programs /
Tekijä: Gries, David .
Julkaistu: (1991)

Lataa...

Reconfigurable system design and verification
Tekijä: Hsiung, Pao-Ann
Julkaistu: (2009)

Lataa...

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

Lataa...

Testing computer software
Tekijä: Kaner, Cem
Julkaistu: (2012)

Lataa...

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

Lataa...

Software testing: principles, techniques and tools
Tekijä: Limaye, M G
Julkaistu: (2009)

Lataa...

Challenges of Verification: Smaller states and arms control
Tekijä: Gaertner, Heinz
Julkaistu: (1989)

Lataa...

Logic and argument /
Tekijä: Kirwan, Christopher
Julkaistu: (1978)

Lataa...

Handbook of materials management
Tekijä: GHopalakrishnan,P
Julkaistu: (2009)

Lataa...

Intelligent Task Planning Using Fuzzy Petri nets
Tekijä: Cao, Tiehua
Julkaistu: (1996)

Lataa...

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

Lataa...

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

Lataa...

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

Lataa...

Modeling in systems biology the petri net approach
Tekijä: Koch, Ina; ed
Julkaistu: (2011)

Lataa...

Intelligent task planning using fuzzy petri nets /
Tekijä: Cao, Tiehua
Julkaistu: (1996)

Lataa...

System modeling and control with resource-oriented Petri nets /
Tekijä: Wu, Naiqi
Julkaistu: (2010)

Lataa...

Fault Diagnosis of Digital Systems
Tekijä: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Julkaistu: (1970)

Lataa...

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

Lataa...

The economics of software quality /
Tekijä: Jones, Capers
Julkaistu: (2012)

Lataa...

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

Lataa...

Electronic circuits by system and computer analysis
Tekijä: Cornetet, Wendell H
Julkaistu: (1975)

Lataa...

Bappuji karayunnu /
Tekijä: Ramankutty, Chunakkara
Julkaistu: (2005)

Lataa...

Straight to the point C#.Net 2005
Tekijä: Dinesh Maidasani; Author
Julkaistu: (2009)

Lataa...

Linear integrated circuits
Tekijä: Choudhury, D Roy
Julkaistu: (2003)

Lataa...

Introduction to integrated circuits
Tekijä: Grinich, Victor H
Julkaistu: (1975)

Lataa...

Linear integrated circuits
Tekijä: Young, Thomas
Julkaistu: (1981)

Lataa...

Research methods for graduate business and social science students.
Tekijä: Adams, John
Julkaistu: (2007)

Lataa...

Digital concepts using standard integrated circuits
Tekijä: Sandige, Richard
Julkaistu: (1978)