๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

ProB: an automated analysis toolset for the B method

โœ Scribed by Michael Leuschel; Michael Butler

Book ID
106245476
Publisher
Springer
Year
2008
Tongue
English
Weight
814 KB
Volume
10
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An automated method for polyamine analys
An automated method for polyamine analysis
โœ David R. Morris; Kara L. Koffron; Charles J. Okstein ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 262 KB
An automated method for the analysis of
An automated method for the analysis of trabecular bone structure
โœ Jean E. Aaron; David R. Johnson; John A. Kanis; Beverley A. Oakley; Paul O'Higgi ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 979 KB

Trabecular structure as well as bone mass is important in studies of bone disease and fracture. An automated method for the direct analysis of two-dimensional trabecular microanatomy and its application to human iliac crest bone biopsies is described. Compared with established methods which require

New methods for strategic analysis: Auto
New methods for strategic analysis: Automating the wargame
โœ Morlie H. Graubard; Carl H. Builder ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Springer US ๐ŸŒ English โš– 782 KB

A new method for automating political-military games as a means of analyzing strategic forces was recently developed and demonstrated by The Rand Corporation. Interest in this technique sprang from dissatisfaction with the dominant methods of analyzing strategic forces: manual political-military gam