-
1
-
2
Fluent temporal logic for discrete-time event-based models.
Publicado en Software engineering notes.Artículo -
3
A notation for problematic architecture interactions.
Publicado en Software engineering notes.Artículo -
4