Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Sandro Stucki - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Sandro Stucki

Postdoktor

Sandro Stucki
Postdoktor
Akademisk grad: Doktor,
sandros@chalmers.se
0 31-772 6528

Besöksadress: Rännvägen 6 , 41258 Göteborg


Formella metoder vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
Besöksadress: Rännvägen 6 , 412 58 Göteborg

Senaste publikationer

Gray-box monitoring of hyperproperties
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800, Cham, Springer, Paper i proceeding 2019
Paper i proceeding

Visar 1 - 1 av 1

2019

Gray-box monitoring of hyperproperties
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800, Cham, Springer, Paper i proceeding 2019
Paper i proceeding

Visar 1 - 1 av 1

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
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?