Login / Signup

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures.

Akram SeghiriFaiza BelalaNabil Hameurlain
Published in: Int. J. Syst. Serv. Oriented Eng. (2022)
Keyphrases
  • expert systems
  • software architecture
  • formal language
  • database
  • machine learning
  • data storage