From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Revista de Informática Teórica e Aplicada 2013-01, Vol.20 (1), p.102
Hauptverfasser: Foss, Luciana, Cavalheiro, Simone André da Costa, Bisi, Nícolas Nogueira, Pazzini, Vinícius Steffens, De Brisolara, Lisane Brisolara, Wagner, Flávio Rech
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0103-4308
2175-2745
DOI:10.22456/2175-2745.25202