Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool

Aho, P. (Speaker)

Activity: Talk or presentation typesOral presentationAcademic

Period8 Nov 2018
Held atInternational Symposium on Leveraging Applications of Formal Methods
Event typeConference
LocationLimassol, Cyprus
Degree of RecognitionInternational