𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Thermodynamic derivation of mechanical expressions for interfacial parameters

✍ Scribed by Martinus Oversteegen, S.; Barneveld, Peter A.; van Male, Jan; Leermakers, Frans A. M.; Lyklema, Johannes

Book ID
121748271
Publisher
Royal Society of Chemistry
Year
1999
Tongue
English
Weight
161 KB
Volume
1
Category
Article
ISSN
1463-9076

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Automatic derivation of test cases for L
Automatic derivation of test cases for LOTOS expressions with data parameters
✍ Xiang Dong Li; Teruo Higashino; Kenichi Taniguchi πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 978 KB

It is known as generally impossible to generate automatically the test cases for arbitrary LOTOS expression containing data parameters. A subclass of LOTOS, called P-LOTOS, is defined. In P-LOTOS, the data type is restricted to be integer and Boolean and the operation on the integer is restricted to