TTCN-3 Bibliography |
![]() |
|
Displaying 1 - 2 of 2 Parameters |
| Mladenov, K. (2017). Formal verication of the implementation of the mqtt protocol in iot devices. Amsterdam: University of Amsterdam. |
|
| Added by: TET group Last edited by: TET group 21/07/2017, 11:59 | |
| Schieferdecker, I., Kretzschmann, S., Rennoch, A., & Wagner, M. 2017, July 25–29. Iot-testware - an eclipse project. Paper presented at IEEE International Conference on Software Quality, Reliability and Security, Los Alamitos, Calif. |
|
| Added by: TET group 02/09/2017, 08:52 |