Results 1 to 4 of 4
Sort by:

  • LASH
  • Referenced in 23 articles [sw21269]
  • Liège Automata-based Symbolic Handler (LASH): LASH is a toolset for representing infinite sets...

  • episensr
  • Referenced in 3 articles [sw15562]
  • methods and examples from the book by Lash T.L, Fox M.P, and Fink A.K. ”Applying...

  • Neweul
  • Referenced in 22 articles [sw04246]
  • Neweul-M² is a software package for the...

  • signal
  • Referenced in 2 articles [sw24222]
  • R package signal: Signal Processing. A set of...