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