Sciweavers

6 search results - page 2 / 2
» A Multi-Set Extended Relational Algebra - A Formal Approach ...
Sort
View
ICTAC
2005
Springer
13 years 10 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer