1261 search results - page 13 / 253 » A Hierarchy of Temporal Properties |
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
HYBRID
2010
Springer
14 years 12 months ago
2010
Springer
AMAI
2008
Springer
14 years 10 months ago
2008
Springer
CORR
2009
Springer
14 years 7 months ago
2009
Springer
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...