Skip to content

Commit

Permalink
s
Browse files Browse the repository at this point in the history
  • Loading branch information
@nevrenato
nevrenato committed Mar 10, 2024
1 parent 86cedef commit 438a938
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,7 @@ concurrent algorithms.
| 12 feb. 2024 | Introduction to CCS. Exercises ([slides](CCS/CCS.pdf)) |
| 19 feb. 2024 | Introduction to the theory of timed automata. Exercises ([slides](introtimedAutomata/timed-automata.pdf)) |
| 26 feb. 2024 | Jornadas física |
| 04 mar. 2024 | UPPAAL, the philosophers, and the adventurers ([video](https://www.youtube.com/watch?v=7yDmGnA8Hw0) and
[model](adventurers.xml)) |
| 04 mar. 2024 | UPPAAL, the philosophers, and the adventurers ([video](https://www.youtube.com/watch?v=7yDmGnA8Hw0) and [model](adventurers.xml)) |
| 11 mar. 2024 | Continuation of the previous lecture. A logic for timed systems ([slides](Uppaal/uppaal.pdf)) |

# Assessment
Expand Down

0 comments on commit 438a938

Please sign in to comment.