• StateFlow

  • Referenced in 39 articles [sw04350]
  • tabular representations, including state transition diagrams, flow charts, state transition tables, and truth tables...
  • VAMPIR

  • Referenced in 20 articles [sw09406]
  • variety of graphical views, e.g., state diagrams, activity charts, time-line displays, and statistics. Moreover...
  • PEARL

  • Referenced in 4 articles [sw02990]
  • since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface...
  • SimplexNumerica

  • Referenced in 0 articles [sw06023]
  • kinds of ways. SimplexNumerica can create etailed charts, graphs and all kinds of visual utilities ... state-of-the-art UI which offers guidelines with Ribbonbars , context dialogs and interactive diagrams...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 417 articles [sw00610]
  • Produced by experts for use in a variety...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • rbMIT

  • Referenced in 140 articles [sw00784]
  • The rbMIT © MIT Software package implements in Matlab...
  • Scilab

  • Referenced in 167 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • HiVy

  • Referenced in 2 articles [sw01933]
  • The HiVy toolset provides model checking for statecharts...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • UCI-ml

  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • NuSMV

  • Referenced in 298 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Mathcad

  • Referenced in 133 articles [sw04210]
  • PTC Mathcad is the Industry Standard Software for...