• HCSP

  • Referenced in 2 articles [sw02577]
  • HCSP: Extending CSP for codesign and shared memory. HCSP is a variant of CSP adapted ... motivated by the needs of hardware compilation, HCSP can be applied more widely including software ... form the foundation of a codesign language. HCSP is an extension of CSPP: familiarity with...
  • Matlab

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

  • Referenced in 717 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • StateFlow

  • Referenced in 39 articles [sw04350]
  • Stateflow® is an environment for modeling and simulating...
  • Modelica

  • Referenced in 88 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • Ptolemy

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

  • Referenced in 22 articles [sw09155]
  • SysML Open Source Specification Project. The SysML.org web...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and...
  • Circus

  • Referenced in 88 articles [sw21828]
  • The Semantics of Circus. Circus is a concurrent...