cid

Here are 2 public repositories matching this topic...

vinahradau / finma

Z/Alloy formal specification for client identifying data regulation for banks in Switzerland

Updated Jul 4, 2020
Alloy

nyxgear / SE2-project-tesla-car-sharing

Design and formal validation of an hypothetical Tesla car sharing software architecture. Project developed for the course of Software Engineering 2 at Polytechnic of Milan, Italy.

software-engineering dd cid ppd rasd itpd

Updated Mar 3, 2018
Alloy

Improve this page

Add a description, image, and links to the cid topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cid topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

cid

Here are 2 public repositories matching this topic...

vinahradau / finma

nyxgear / SE2-project-tesla-car-sharing

Improve this page

Add this topic to your repo