Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud. Investigating process algebra models to represent structured requirements for time-sensitive CPS.
SEKE 2021 - THe 33rd International Conference Software Engineering & Knowledge Engineering, Jul 2021, Pittsburgh (Virtual conference), United States.
⟨10.18293/SEKE2021-147⟩.
⟨cea-03256511⟩