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

  • Pekka Aho (Speaker)

Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

Period8 Nov 2018
Event titleInternational Symposium on Leveraging Applications of Formal Methods: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Event typeConference
LocationLimassol, Cyprus
Degree of RecognitionInternational