Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/346057
Type: Artigo
Title: Analysis and comparison of frameworks supporting formal system development based on models of computation
Author: Horita, Augusto Y.
Bonna, Ricardo
Loubach, Denis S.
Abstract: 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 the synchronous reactive and synchronous dataflow models of computation
Subject: Simulação
Country: Alemanha
Editor: Springer
Rights: Fechado
Identifier DOI: 10.1007/978-3-030-14070-0_23
Address: https://link.springer.com/chapter/10.1007/978-3-030-14070-0_23
Date Issue: 2019
Appears in Collections:FEM - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
000490709400023.pdf406.53 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.