𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A linked record and verify system

✍ Scribed by Michael T. Gillin; Susan Derus; Robert W. Kline; Daniel Lofy

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
240 KB
Volume
12
Category
Article
ISSN
0360-3016

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A computer based record system forPisum
A computer based record system forPisum
✍ M. W. Johnson; B. Snoad; D. R. Davies πŸ“‚ Article πŸ“… 1971 πŸ› Springer 🌐 English βš– 260 KB

A computer based system is described for the storage and retrieval of information regarding the identification, origin, pedigrees, genotypes and phenotypes of Pisum lines. It is being used at present within the John Innes Institute for keeping detailed records of over 800 lines, but it is hoped that

Specifying and verifying PLC systems wit
Specifying and verifying PLC systems with TLA+ : A case study
✍ Hehua Zhang; Stephan Merz; Ming Gu πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 499 KB

We report on a method for formally specifying and verifying programmable logic controllers (PLCs) in the specification language TLA + . The specification framework is generic. It separates the description of the environment from that of the controller itself and its structure is consistent with the