Integration Testing of Protocol Implementations using Symbolic Distributed Execution

Publications

Year:

All :: 2005, ... , 2011, 2012, 2013, ... , 2024

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

31.	Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, and Klaus Wehrle Integration Testing of Protocol Implementations using Symbolic Distributed Execution 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 DOI: 10.1109/ICNP.2012.6459940 ISBN: 978-1-4673-2445-8
30.	Kai Jakobs Workshop Standardization Management Enterprise Interoperability I-ESA, 2012, Valencia, Spain Publisher: Wiley, August 2012 ISBN: 978-1-84821-426-2
29.	Martina Gerst, Kai Jakobs, and Gao Xudong Electric Vehicles and Standardization Management – The Case of a Sino-German Cooperation Proc. of the Annual Conference of the Academy of Innovation and Entrepreneurship (AIS). June 2012
28.	Marta Orviska and Kai Jakobs Proceedings of the 17th EURAS Conference, 2012, EURAS contributions to standardisation research, vol. 6. Publisher: Mainz, June 2012 ISBN: 978-3-86130-337-4
27.	Kai Jakobs Pitfalls in Standards Making - Learning From The Past Proceedings of the 17th EURAS Conference, 2012, Kosice, Slowakia Publisher: Mainz, June 2012 ISBN: 978-3-86130-337-4
26.	Martina Gerst and Kai Jakobs Standardisation Management in Electric Mobility 17th EURAS Aannual Conference, 2012, Kosice, Slowakia Publisher: Mainz, June 2012 ISBN: 978-3-86130-337-4

Export as: