DCT_Alloy_Model

Modeling of Dual-Clutch and Semi-Automatic Transmission Logic in Alloy

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
Car_Classification.als		Car_Classification.als
LICENSE		LICENSE
Project_FinalReport_DCT.pdf		Project_FinalReport_DCT.pdf
Project_Proposal_DCT.pdf		Project_Proposal_DCT.pdf
Project_Update_DCT.pdf		Project_Update_DCT.pdf
README.md		README.md
alloy2graphml.xsl		alloy2graphml.xsl
base_transmission_model.als		base_transmission_model.als

Provide feedback