𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Design of dynamic multi sensor systems

✍ Scribed by B. Denkena; H.-C. Möhring; K. M. Litwinski

Book ID
107481654
Publisher
Springer-Verlag
Year
2008
Tongue
English
Weight
358 KB
Volume
2
Category
Article
ISSN
0944-6524

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal approach to the design of featu
A formal approach to the design of feature-based multi-sensor recognition systems
✍ Mieczyslaw M. Kokar; Zbigniew Korona 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a