<--- Back to Details
First PageDocument Content
Electromagnetism / Synchronization / Digital electronics / Formal methods / Computer memory / Arbiter / Asynchronous system / Flip-flop / Asynchrony / Electronic engineering / Electrical circuits / Electrical engineering
Date: 2002-05-11 04:53:16
Electromagnetism
Synchronization
Digital electronics
Formal methods
Computer memory
Arbiter
Asynchronous system
Flip-flop
Asynchrony
Electronic engineering
Electrical circuits
Electrical engineering

Add to Reading List

Source URL: www.ece.rochester.edu

Download Document from Source Website

File Size: 107,03 KB

Share Document on Facebook

Similar Documents

Alloy as an Introduction to Formal Methods

DocID: 1xVY1 - View Document

Culture in Berlin / Education in Berlin / Institute for Media and Communication Policy / Bernhard Steffen / Stochastic process / States of Germany / Germany

Integrated Formal Methods

DocID: 1xVBb - View Document

Software engineering / Theoretical computer science / Formal methods / Computing / Computer science / Computer security / Model checking / Verification / Formal verification / Carnegie Mellon University / Proof-carrying code / Software Engineering Institute

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xUHE - View Document

Arithmetic / Interval / Bracket

Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

DocID: 1xUCm - View Document

Mathematics / Temporal logic / Mathematical analysis / Theoretical computer science / Linear temporal logic / Mathematical logic / Formal languages / Computation tree logic / Constructible universe / Markov decision process / Well-formed formula / IP

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

DocID: 1xUrV - View Document