Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

Visa integritetsinställningar
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings E-bok av

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Synopsis

Om den här boken

  • Språk:English
  • ISBN:9783031742347
  • Utgivningsdatum:12 okt. 2024
  • Utgivare:Springer Nature Switzerland
  • Impressum:Springer
  • Filformat:EPUB3
  • Filstorlek:28.78 MB
  • Nedladdningsalternativ:EPUB3 (Adobe DRM)

I denna serie

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman