Login / Signup

Model-checking of space systems designed with TASTE/SDL.

Iulia DragomirCarlos RedondoTiago JorgeLaura GouveiaIulian OberIvan KolesnikovMarius BozgaMaxime Perrotin
Published in: MoDELS (Companion) (2022)
Keyphrases