𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification and verification for semi-structured data

✍ Scribed by Chen Tao-Iue; Han Ting-ting; Lu Jian

Publisher
Wuhan University
Year
2006
Tongue
English
Weight
560 KB
Volume
11
Category
Article
ISSN
1007-1202

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Semi-structured meshes for axial turboma
Semi-structured meshes for axial turbomachinery blades
✍ L. Sbardella; A. I. Sayma; M. Imregun πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 541 KB

This paper describes the development and application of a novel mesh generator for the flow analysis of turbomachinery blades. The proposed method uses a combination of structured and unstructured meshes, the former in the radial direction and the latter in the axial and tangential directions, in or

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verificationβ€”a case study
✍ Clare Dixon πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp