Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Publication year: 2008
ISBN: 978-3-540-89247-2
Internet Resource: Please Login to download book
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
Subject: 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
