𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Deriving protocol specifications from service specifications written in LOTOS

✍ Scribed by Christian Kant; Teruo Higashino; Gregor von Bochmann

Publisher
Springer-Verlag
Year
1996
Tongue
English
Weight
524 KB
Volume
10
Category
Article
ISSN
0178-2770

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deriving complexity information from a f
Deriving complexity information from a formal communication protocol specification
✍ Sun-Jen Huang; Richard Lai πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 152 KB

Communication software systems have become very large and complex. Recognizing the complexity of such software systems is a key element in their development activities. Software metrics are useful quantitative indicators for assessing and predicting software quality attributes, like complexity. Howe

Erythroid lineage-specific activity in c
Erythroid lineage-specific activity in conditioned medium derived from cloned human marrow stromal cells (CFU-RF)
✍ M. T. Aye; C. A. Izaguirre πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 706 KB

## Abstract Using long‐term culture techniques, it has been shown that stromal cells in the marrow microenvironment are essential for the continued production and self‐renewal of hematopoietic stem cells. We previously reported the development of a methylcellulose colony assay for a population of m