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…