Integration Testing of Protocol Implementations using Symbolic Distributed Execution

Openings

Research @ COMSYS

Research Groups

Research Overview

Publications

Year:

All :: 2012, 2013

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, and Klaus Wehrle

The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA, page 6 S..

IEEE

Piscataway, NJ, USA

October 2012

ISBN: 978-1-4673-2445-8

Export as:

- Impressum | Datenschutz -