𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the development of a formal methods-based software design methodology for automotive applications

✍ Scribed by S Tran; J Cullyer; E Hines; K Marks

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
364 KB
Volume
14
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Development and application of a radioim
Development and application of a radioimmunoassay for fluphenazine based on monoclonal antibodies and its comparison with alternate assay methods
✍ G. McKay; T. Steeves; J. K. Cooper; E. M. Hawes; K. K. Midha 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 515 KB

The development of a monoclonal antibody towards fluphenazine allows the measurement of plasma concentrations of this highly potent neuroleptic. The method demonstrates sufficient sensitivity to measure 0.02 ng of fluphenazine per milliliter of plasma and employs a 150-microL plasma extract derived

Development of a pretreatment method for
Development of a pretreatment method for amyloid β-protein analysis based on the effect of acetic acid on the dissolution of plasma polypeptides
✍ Ryoya Goda; Hiroshi Masumoto; Osamu Okazaki; Kenichi Sudo 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 113 KB 👁 1 views

## Abstract During the evaluation of a pretreatment method for the simultaneous quantification of four amyloid __β__‐protein fragments in transgenic mice plasma by a new gradient system, we have found that acetic acid has potency to completely dissolve plasma polypeptides in the presence of an orga

On the design of multifrequency dividers
On the design of multifrequency dividers suitable for GSMsol;DCS/PCS/UMTS applications by using a particle swarm optimization-based technique
✍ Zaharias D. Zaharis; Dimitra G. Kampitaki; Pavlos I. Lazaridis; Anastasia I. Pap 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 316 KB

## Abstract A particle swarm optimization‐based technique is applied to design dividers that operate in two or more frequency bands at once. The geometry of the dividers is optimized under specific requirements concerning the impedance‐matching bandwidth and the complex current distribution on unma

Development of a new method for the dete
Development of a new method for the determination of thyroxine in serum based on isotope dilution gas chromatography mass spectrometry
✍ Linda M. Thienpont; Veronique I. De Brabandere; Dietmar Stöckl; André P. De Leen 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 668 KB

A new gas chromatographic/mass spectrometric method in combination with isotope dilution for the determination of thyroxine in serum is described. Special attention was paid to the methylation step of thyroxine, which was investigated using methanolic HCI, dimethylformamide/dimethylacetal and diazom

A new method for load matching in multim
A new method for load matching in multimode-microwave heating applicators based on the use of dielectric-layer superposition
✍ J. Monzó-Cabrera; A. Díaz-Morcillo; J. L. Pedreño-Molina; D. Sánchez-Hernández 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB 👁 1 views

## Abstract Usage of a dielectric multilayer around a dielectric sample is studied as a means for improving the efficiency in multimode microwave‐heating cavities. The results show that by using additional dielectric constant layers the appearance of undesired reflections at the sample‐air interfac

Study of a method for the preparation of
Study of a method for the preparation of standard gas mixtures based on thermal decomposition of surface compounds. Application to isothiocyanates
✍ Piotr Konieczka; Elżbieta Luboch; Jacek Namieśnik; Jan F. Biernat 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 501 KB

Further development of a previously mtroduced concept for the generatlon of standard gas mtiures by thermal decomposltlon of surface-bonded residues IS described The method was apphed to Isothlocyanates, which are produced as the sole volatde product from s&a gel-anchored dlthmcarbamate groups