Laddar...

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

Bibliografiska uppgifter
Huvudupphovsman:	Yoeli, Michael
Materialtyp:	Printed Book
Språk:	English
Publicerad:	New Jersey John Wiley & Sons 2008
Ämnen:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Liknande verk

Laddar...

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

Laddar...

Foundation of program verification /
av: Loeckx, Jacques
Publicerad: (1983)

Laddar...

Program construction and verification /
av: Backhouse, Roland C .
Publicerad: (1986)

Laddar...

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

Laddar...

Principles of model checking /
av: Baier, Christel
Publicerad: (2012)

Laddar...

Current trends in hardware verification and automated theorem proving
av: Current trends in
Publicerad: (1989)

Laddar...

Program construction and verification
av: Backhouse, Roland C; Author
Publicerad: (1986)

Laddar...

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

Laddar...

Protocol specification, testing and verification
av: Diaz, Michel
Publicerad: (1986)

Laddar...

Program verification using Ada
av: McGettrick, Andrew D; Author
Publicerad: (1982)

Laddar...

Confirmation and confirmability /
av: Schlesinger, G.
Publicerad: (1974)

Laddar...

Disarmament Forum Arms control verification /
Publicerad: (2010)

Laddar...

Verification of sequential and concurrent programs /
av: Gries, David .
Publicerad: (1991)

Laddar...

Reconfigurable system design and verification
av: Hsiung, Pao-Ann
Publicerad: (2009)

Laddar...

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

Laddar...

Testing computer software
av: Kaner, Cem
Publicerad: (2012)

Laddar...

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

Laddar...

Software testing: principles, techniques and tools
av: Limaye, M G
Publicerad: (2009)

Laddar...

Challenges of Verification: Smaller states and arms control
av: Gaertner, Heinz
Publicerad: (1989)

Laddar...

Logic and argument /
av: Kirwan, Christopher
Publicerad: (1978)

Laddar...

Handbook of materials management
av: GHopalakrishnan,P
Publicerad: (2009)

Laddar...

Intelligent Task Planning Using Fuzzy Petri nets
av: Cao, Tiehua
Publicerad: (1996)

Laddar...

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

Laddar...

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

Laddar...

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

Laddar...

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

Laddar...

Intelligent task planning using fuzzy petri nets /
av: Cao, Tiehua
Publicerad: (1996)

Laddar...

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

Laddar...

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

Laddar...

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

Laddar...

The economics of software quality /
av: Jones, Capers
Publicerad: (2012)

Laddar...

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

Laddar...

Electronic circuits by system and computer analysis
av: Cornetet, Wendell H
Publicerad: (1975)

Laddar...

Bappuji karayunnu /
av: Ramankutty, Chunakkara
Publicerad: (2005)

Laddar...

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

Laddar...

Linear integrated circuits
av: Choudhury, D Roy
Publicerad: (2003)

Laddar...

Introduction to integrated circuits
av: Grinich, Victor H
Publicerad: (1975)

Laddar...

Linear integrated circuits
av: Young, Thomas
Publicerad: (1981)

Laddar...

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

Laddar...

Digital concepts using standard integrated circuits
av: Sandige, Richard
Publicerad: (1978)