Formal methods for #verification and #testing of Cyber-Physical Systems #CPS at #CERBERO final event. Thanks Luca, from @IdeaLabUniss, for presenting #reqV and #reqT! @luca_pulina @simo_v8 @CERBERO_h2020 @hipeacpic.twitter.com/5ZsYMw4VJ1
02:19 - 22. sij 2020.
0 replies
4 proslijeđena tweeta
8 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.