GitHub - guorbit/taste-workshop: TASTE model for the "Embedded Software Development with ESA TASTE" training workshop

Name		Name	Last commit message	Last commit date
work		work
DataView.aadl		DataView.aadl
InterfaceView.aadl		InterfaceView.aadl
Makefile		Makefile
Makefile.modelcheck		Makefile.modelcheck
deploymentview.dv.xml		deploymentview.dv.xml
interfaceview.xml		interfaceview.xml
taste-workshop.acn		taste-workshop.acn
taste-workshop.asn		taste-workshop.asn
taste-workshop.msc		taste-workshop.msc
taste-workshop.pro		taste-workshop.pro
taste-workshop.pro.user		taste-workshop.pro.user