TTCN-3 Bibliography

List Resources

Displaying 1 - 1 of 1 (Bibliography: WIKINDX Master Bibliography)
Parameters
Publisher:  University of Amsterdam(Amsterdam)
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
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.00750 secs | Script execution: 0.01701 secs