2232 search results - page 18 / 447 » Formal Modeling and Analysis of Organizations |
BPM
2005
Springer
15 years 3 months ago
2005
Springer
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
ICFEM
2003
Springer
15 years 2 months ago
2003
Springer
PRDC
2002
IEEE
15 years 2 months ago
2002
IEEE
CRISIS
2008
14 years 11 months ago
2008
We are involved in a project related to the evaluation