Skip to main navigation Skip to search Skip to main content

Compositional Specifications for ioco Testing

  • Dejan Nickovic (Speaker)
  • , Przemyslaw Daca
  • , Thomas Henzinger
  • , Willibald Krenn

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Original languageEnglish
    Title of host publicationICST 2014
    Pages373-382
    Number of pages10
    Publication statusPublished - 2014
    EventICST 2014 -
    Duration: 31 Mar 20144 Apr 2014

    Conference

    ConferenceICST 2014
    Period31/03/144/04/14

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this