-
1
-
2
Fluent temporal logic for discrete-time event-based models.
Gepubliceerd in Software engineering notes.Artikel -
3
A notation for problematic architecture interactions.
Gepubliceerd in Software engineering notes.Artikel -
4