Sign in

Expansion Mechanism for Runtime Verification of Self-adaptive Systems.

Masaya FujimotoHiroyuki NakagawaTatsuhiro Tsuchiya
Published in: SEKE (2023)
Keyphrases
  • complex systems
  • automated verification
  • computer systems
  • model checking
  • real time
  • data sets
  • multi agent systems
  • expert systems
  • distributed systems
  • computational model