✦ LIBER ✦

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

✍ Scribed by Ludovic Apvrille; Pierre de Saqui-Sannes; Ferhat Khendek

Publisher: Springer-Verlag
Year: 2006
Tongue: English
Weight: 876 KB
Volume: 5
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-006-0029-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The design and validation of a high thro

The design and validation of a high throughput automated DNA profiling system for forensic casework samples

✍ P. Strahorn; L.D. Lee; M. Fairley 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 61 KB

Critical evaluation of the different sta

Critical evaluation of the different staging systems for hepatocellular carcinoma

✍ S. Wildi; B. C. Pestalozzi; L. McCormack; P.-A. Clavien 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB 👁 2 views

Development and validation of a robust c

Development and validation of a robust capillary electrophoresis method for impurity profiling of etomidate including the determination of chiral purity using a dual cyclodextrin system

✍ Manuela Hammitzsch; Ramisetti N. Rao; Gerhard K. E. Scriba 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 334 KB 👁 2 views

## Abstract An enantioselective CE assay for the simultaneous determination of the enantiomeric purity and of related substances of etomidate has been developed and validated using a binary chiral selector system employing 30 mg/mL β‐CD and 4.6 mg/mL sulfated‐β‐CD in a 150 mM potassium phosphate bu

A method for improving the reliability o

A method for improving the reliability of functionally distributed networks: Caspi, P and Polou, JJ. Digital Systems Vol 4 No 4 pp 409–426

📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 109 KB