Sign in

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

Perla TannourySamir ChoualiAhmed Hammad
Published in: FACS (2023)
Keyphrases
  • software components
  • artificial intelligence
  • building blocks
  • formal methods
  • data sets
  • three dimensional
  • multi agent
  • digital libraries