Skip to content
@CSP-B

CSP| |B

CSP||B (pronounced CSP parallel B) is an approach that combines a state and event based approach to describing complex systems.

Popular repositories Loading

  1. OnTrack OnTrack Public

    Use the Eclipse development tool Epsilon to produce a graphical tool to generate decomposed CSP||B formal models of railway interlocking systems.

    Java 1

Repositories

Showing 1 of 1 repositories
  • OnTrack Public

    Use the Eclipse development tool Epsilon to produce a graphical tool to generate decomposed CSP||B formal models of railway interlocking systems.

    CSP-B/OnTrack’s past year of commit activity
    Java 1 0 0 0 Updated Aug 10, 2014

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…