𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A method for derivation of precession expressions

✍ Scribed by Zhang Hui; Huang Tianyi; Xu Bangxin


Book ID
107880624
Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
143 KB
Volume
31
Category
Article
ISSN
0083-6656

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Automatic derivation of test cases for L
✍ 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