Login / Signup
Felipe Elias Costa da Silva
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Deterministic Finite Automaton
Model Checking
Reactive Systems
Test Cases
Top Venues
SAST
</>
Publications
</>
Valdivino Alexandre de Santiago Júnior
,
Felipe Elias Costa da Silva
From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases.
SAST
(2017)