Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Security of Pacemakers us… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Security of Pacemakers using Runtime Verification

Paper i proceeding
Författare Srinivas Pinisetty
Partha S. Roop
Vidula Sawant
Gerardo Schneider
Publicerad i 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61
Förlag IEEE
Publiceringsår 2018
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk en
Länkar https://doi.org/10.1109/MEMCOD.2018...
Ämneskategorier Datavetenskap (datalogi)
Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/publikation/?publicationId=275202
Utskriftsdatum: 2019-08-17