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

The OsMoSys approach to multi-formalism modeling of systems

โœ Scribed by V. Vittorini; M. Iacono; N. Mazzocca; G. Franceschinis

Publisher
Springer-Verlag
Year
2004
Tongue
English
Weight
579 KB
Volume
3
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal approach to multi-phase systems
Formal approach to multi-phase systems
โœ G. Superti Furga ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 402 KB
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