astante

Fraunhofer Institute for Embedded Systems and Communication Technologies ESKMunich

Pinned Repositories

model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
Language:C0 2 00
openetcs-constraints-training
Repository for the OpenETCS Constraint Training
Language:D0 1 00
openetcs-datadictionary
Language:Java0 2 02
openetcs-sysml-to-b
Language:Java0 2 10
openetcs-updatesite
Eclipse Update Site for openETCS Plugins
01
toolchain
WP7: Top Level Project for the toolchain
Language:TeX0 1 00
governance
part of WP1: information needed to run project management in openetcs
Language:TeX7 26 10513
model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
Language:TeX13 16 5820
modeling
WP3 Top Level Project: to cover all tasks related with modeling
Language:C35 41 75342
toolchain
WP7: Top Level Project for the toolchain
Language:TeX27 36 43730

astante's Repositories

astante/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
Language:C0 2 00
astante/openetcs-constraints-training
Repository for the OpenETCS Constraint Training
Language:D0 1 00
astante/openetcs-datadictionary
Language:Java0 2 02
astante/openetcs-sysml-to-b
Language:Java0 2 10
astante/openetcs-updatesite
Eclipse Update Site for openETCS Plugins
01
astante/toolchain
WP7: Top Level Project for the toolchain
Language:TeX0 1 00