Skip to main navigation Skip to search Skip to main content

SMUML/analyze 1.0.0 - front-end to the SMUML tool-set wtih an abstract-check-refine cycle for UML state machines

  • Heikki Tauriainen
  • , Vesa Ojala

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2007
    MoE publication typeI2 ICT applications

    Cite this