𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Utilizing Event-B for domain engineering: a critical analysis

✍ Scribed by Atif Mashkoor; Jean-Pierre Jacquot

Book ID
106227438
Publisher
Springer-Verlag
Year
2011
Tongue
English
Weight
950 KB
Volume
16
Category
Article
ISSN
0947-3602

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantitative approaches to utilizing mut
Quantitative approaches to utilizing mutational analysis and disulfide crosslinking for modeling a transmembrane domain
✍ Geoffrey F. Lee; Gerald L. Hazelbauer πŸ“‚ Article πŸ“… 1995 πŸ› Cold Spring Harbor Laboratory Press 🌐 English βš– 768 KB

## Abstract The transmembrane domain of chemoreceptor Trg from __Escherichia coli__ contains four transmembrane segments in its native homodimer, two from each subunit. We had previously used mutational analysis and sulfhydryl cross‐linking between introduced cysteines to obtain data relevant to th

What is an event? Domain constraints for
What is an event? Domain constraints for temporal analysis of chief complaints and triage notes
✍ Stephanie W. Haas; Debbie A. Travers; Jacob Kramer-Duffield πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (John Wiley & Sons) 🌐 English βš– 60 KB

## Abstract In this paper we present preliminary results of a study of events represented in portions of the Emergency Department (ED) patient record. An advantage to working in such a specific domain is that we can use domain knowledge to reveal events that are not explicitly mentioned in the reco