1261 search results - page 13 / 253 » A Hierarchy of Temporal Properties |
CHARME
2001
Springer
14 years 13 days ago
2001
Springer
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
AMAI
2008
Springer
13 years 9 months ago
2008
Springer
CORR
2009
Springer
13 years 6 months ago
2009
Springer
CAISE
2006
Springer
14 years 16 days 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...