TTCN-3 Bibliography

List Resources

Displaying 1 - 2 of 2 (Bibliography: WIKINDX Master Bibliography)
Parameters
Keyword:  MQTT
Order by:

Ascending
Descending
Use all checked: 
Use all displayed: 
Use all in list: 
K. Mladenov, "Formal veri cation of the implementation of the MQTT protocol in IoT devices," University of Amsterdam, Amsterdam, July 15, 2017.  
Last edited by: TET group 21 Jul 2017 10:59:19 Europe/Berlin
I. Schieferdecker, S. Kretzschmann, A. Rennoch, and M. Wagner, "IoT-testware - an eclipse project," in Proc. IEEE International Conference on Software Quality, Reliability and Security, Los Alamitos, Calif. July 25-29, 2017,  
Added by: TET group 02 Sep 2017 07:52:16 Europe/Berlin
wikindx 5.2.1 ©2017 | Total resources: 340 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: Institute of Electrical and Electronics Engineers (IEEE) | Database queries: 24 | DB execution: 0.00816 secs | Script execution: 0.01622 secs