vix.ing · top · new · best · stats · spec

Maoz, Shahar

  1. Spectra: A Specification Language for Reactive Systems
    2019/04/14 by Maoz, Shahar, Ringert, Jan Oliver · 4 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
  2. An Operational Semantics for Activity Diagrams using SMV
    2014/09/08 by Maoz, Shahar, Ringert, Jan Oliver, Rumpe, Bernhard · 2 citations
    #FOS: Computer and information sciences #Software Engineering (cs.SE)