Showing 1 - 2 results of 2 for search 'Alvaro Miyazawa', query time: 0.03s Refine Results
  1. 1
    Refinement-based verification of sequential implementations of Stateflow charts
    by Ana Cavalcanti, Alvaro Miyazawa
    Published 2011-06-01
    Get full text
    Article
  2. 2
    SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
    by Alvaro Miyazawa, Ana Cavalcanti
    Published 2016-06-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search