This repository has been archived by the owner on Feb 9, 2024. It is now read-only.

ftsrg-cs / ca Public archive

Notifications You must be signed in to change notification settings
Fork 3
Star 1

Lecture notes for the Critical Architectures Laboratory

1 star 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
handouts		handouts
monitoring-data-analysis		monitoring-data-analysis
program-verification-1		program-verification-1
program-verification-2		program-verification-2
README.md		README.md
alloy4.2.jar		alloy4.2.jar

Repository files navigation

Critical Architectures Laboratory

The course material is available on the Moodle page of the course.

About

Lecture notes for the Critical Architectures Laboratory

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 5

Languages