Publication year: 2008
: 978-3-540-89247-2
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
: Computer Science / Software Engineering / Programming and Operating Systems / Theory of Computation / Performance and Reliability / Programming Languages, Compilers, Interpreters / System Performance and Evaluation / Web Services / algorithm analysis / algorithms / ants / certification / runtime / security / verification