GitHub - Gronner/GenericSoftwareTailoringExample: This repository contains the input and output files for the I4Copter example used in our ERTS 2020 and 2022 paper

Gronner / GenericSoftwareTailoringExample Public

This repository contains the input and output files for the I4Copter example used in our ERTS 2020 and 2022 paper

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
assist_output		assist_output
astree_output		astree_output
autosar		autosar
camp_output		camp_output
source		source
specification		specification

About

This repository contains the input and output files for the I4Copter example used in our ERTS 2020 and 2022 paper

No releases published

No packages published