• M-TREE

  • Referenced in 13 articles [sw02565]
  • Secure processor architectures enable new sets of applications...
  • LOTOS

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

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • CADP

  • Referenced in 129 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • GEPASI

  • Referenced in 26 articles [sw07916]
  • Gepasi is a software package for modeling biochemical...
  • AspectC++

  • Referenced in 14 articles [sw13023]
  • The success of Aspect-Oriented Software Development rises...
  • Pynn

  • Referenced in 14 articles [sw14128]
  • Pynn: A common interface for neuronal network simulators...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • Esterel is both a programming language, dedicated to...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b...