402 followers
RT @sosym_journal: #OnlineFirst: Rigorous design of cyber-physical systems; Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel; h…
RT @sosym_journal: #OnlineFirst: Rigorous design of cyber-physical systems; Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel; h…
#OnlineFirst: Rigorous design of cyber-physical systems; Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel; https://t.co/bllXMsIOn6