MPG.eBooks - Search Results - ("security" or "regularity")

1

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...Invited Talks -- Multi-paradigmatic Model-Based Testing -- Aspects for Trace Monitoring -- Regular...”

2

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Properties -- Using Dynamic Symbolic Execution to Improve Deductive Verification -- Regular Papers...”

3

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... -- Runtime Analysis and Instrumentation for Securing Software -- Tutorials -- Run-Time Verification...”

4

Published 2015

Springer International Publishing

“... Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented...”

5

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... for Human-in-the-Loop Control Systems -- Learning Regular Languages over Large Alphabets -- Verification...”