Shahar Maoz

Research output

Research output per year 2000 2008 2009 2011 2014 2015 2016 2017 2021 2025

• 77 Conference contribution
• 12 Article
• 6 Conference article
• 2 Chapter
• 3 More
  • 1 Book
  • 1 Report
  • 1 Paper

Research output per year

Research output per year

Search results

• 2011

  An operational semantics for activity diagrams using SMV

  Maoz, S., Ringert, J. O. & Rumpe, B., 12 Jul 2011, Aachen: RWTH Aachen, Department of Computer Science. (Aachener Informatik-Berichte; vol. 2011,7)(Technical report / Department of Computer Science, RWTH Aachen)

  Research output: Book/Report › Report › peer-review