Results 1 to 4 of 4
Sort by:

  • ARTP
  • Referenced in 3 articles [sw02587]
  • ARTP: a buffer-aware rate control protocol for...

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

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

  • nuXmv
  • Referenced in 23 articles [sw18526]
  • The nuXmv Symbolic Model Checker. This paper describes...