Nícolas Nogueira Bisi

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Formal Specification

Object Oriented Design

Fault Detection

Top Venues

Publications

Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. RITA 20 (1) (2013)
Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner
Using Graph Grammars to Develop Embedded Systems Based on UML Models. WEIT (2011)