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

  • Pekka Aho (Speaker)

    Activity: Talk or presentation typesTalk 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, CyprusShow on map
    Degree of RecognitionInternational