Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.

Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud

Browse the full SEKE paper archive.