Analysis and comparison of frameworks supporting formal system development based on models of computation

Analysis and comparison of frameworks supporting formal system development based on models of computation

Augusto Y. Horita, Ricardo Bonna, Denis S. Loubach

ARTIGO

Inglês

In this paper, we compare two formal model-based frameworks supporting both system modeling and simulation which are based on models of computation: Ptolemy II and ForSyDe. The paper shows the main benefits and drawbacks of each compared framework, and also brings two different systems modeled using...

Fechado

Analysis and comparison of frameworks supporting formal system development based on models of computation

Augusto Y. Horita, Ricardo Bonna, Denis S. Loubach


										

Analysis and comparison of frameworks supporting formal system development based on models of computation

Augusto Y. Horita, Ricardo Bonna, Denis S. Loubach

    Fontes

    Advances in intelligent systems and computing

    Vol. 800 (May., 2019), p. 161-167