Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components.

Perla Tannoury Samir Chouali Ahmed Hammad

Published in: FACS (2023)

Keyphrases

software components
artificial intelligence
building blocks
formal methods
data sets
three dimensional
multi agent
digital libraries