Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

DAC
1998
ACM

favoriteEmaildiscussreport

110views Computer Architecture» more DAC 1998»

Hybrid Verification Using Saturated Simulation

13 years 9 months ago

Hybrid Verification Using Saturated Simulation

Download www.jos.org.cn

Adnan Aziz, James H. Kukula, Thomas R. Shiple

Real-time Traffic

Computer Architecture | DAC 1998 |

claim paper

Related Content

» Verification of Analog and MixedSignal Circuits Using Hybrid System Techniques

» Modelbased Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

» Antiwindup compensation for nonlinear systems via gradient projection Application to adapt...

» Formal Property Verification by Abstraction Refinement with Formal Simulation and Hybrid E...

» Behavior verification of hybrid realtime requirements by qualitative formalism

» Trajectory Based Verification Using Local FiniteTime Invariance

» Verifying Properties of Timed Event Driven Process Chains by Transformation to Hybrid Auto...

» Program Abstraction in a HigherOrder Logic Framework

» Incorporating dynamic real objects into immersive virtual environments

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	DAC
Authors	Adnan Aziz, James H. Kukula, Thomas R. Shiple

Comments (0)