~spidernet/RealTimeSystemsModels

Report and slides used in a talk about Models for Real-Time systems for Automatic System Verification course
395f0268 — Alessio Chiapperini 1 year, 20 days ago
Add UNLICENSE file
b73c5e81 — Alessio Chiapperini 1 year, 20 days ago
Add latex sources for report and slides

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~spidernet/RealTimeSystemsModels
read/write
git@git.sr.ht:~spidernet/RealTimeSystemsModels

You can also use your local clone with git send-email.