Pinned Loading
Repositories
Showing 10 of 36 repositories
- DataModellingTools Public Forked from ttsiodras/DataModellingTools
N7Space working fork of The Data Modelling Tools of the European Space Agency's TASTE toolchain
n7space/DataModellingTools’s past year of commit activity - asn1scc Public Forked from maxime-esa/asn1scc
N7 Space working fork of ASN1SCC: An open source ASN.1 compiler for embedded systems
n7space/asn1scc’s past year of commit activity - sdl2promela Public
n7space/sdl2promela’s past year of commit activity - SpinRepository Public Forked from nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
n7space/SpinRepository’s past year of commit activity - TASTE-Dev-Env Public
n7space/TASTE-Dev-Env’s past year of commit activity - TASTE-Runtime-Common Public
n7space/TASTE-Runtime-Common’s past year of commit activity