✦ LIBER ✦

A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification

✍ Scribed by Hao Zheng; Ahrens, J.; Tian Xia

Book ID: 118698516
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 232 KB
Volume: 27
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2008.923104

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dealing with abstraction: Case study gen

Dealing with abstraction: Case study generalisation as a method for eliciting design patterns

✍ Niall Winters; Yishay Mor 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 517 KB

Method development in liquid chromatogra

Method development in liquid chromatography with a charged cyclodextrin additive for chiral resolution of rac-amlodipine utilising a central composite design

✍ Paul K. Owens; Anthony F. Fell; Michael W. Coleman; John C. Berridge 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 908 KB

A negatively charged derivative of pcyclodextrin, sulphobutyl ether-p-cyclodextrin (SBE-p-CD), was examined as a c h i d mobile phase additive in reversed-phase highperformance liquid chromatography for the enantiomeric resolution of the calcium channel blocker rac-amlodipine. Theoretical and practi

The design of a hybrid output feedback c

The design of a hybrid output feedback controller for an uncertain delay system with actuator failures based on the switching method

✍ Limin Wang; Cheng Shao 📂 Article 📅 2010 🏛 Elsevier 🌐 English ⚖ 627 KB

An analytical method for the determinati

An analytical method for the determination of stress and strain concentrations in textile-reinforced GF/PP composites with elliptical cutout and a finite outer boundary and its numerical verification

✍ Hufenbach, W.; Grüber, B.; Lepper, M.; Gottwald, R.; Zhou, B. 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 770 KB

Rationale, Design, and Methods for a Piv

Rationale, Design, and Methods for a Pivotal Randomized Clinical Trial of Continuous Aortic Flow Augmentation in Patients With Exacerbation of Heart Failure: The MOMENTUM Trial

✍ Barry Greenberg; Barbara Czerska; William T. Abraham; James D. Neaton; Reynolds 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 256 KB

Rationale, design, and methods for a piv

Rationale, design, and methods for a pivotal randomized clinical trial for the assessment of a cardiac support device in patients with New York health association class III-IV heart failure

✍ Douglas L. Mann; Michael A. Acker; Mariell Jessup; Hani N. Sabbah; Randall C. St 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 274 KB