1
Published 2013
Table of Contents: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Integrals -- Workshop on PULSES V- Logical, Scientific and Computational Aspects of Pulse Phenomena...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
View full text
Electronic eBook