Zbigniew Korona

Learn More
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 and models. We s h o w, on a simple example, how theories(More)
  • 1