Login / Signup

Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques.

Diego ClerissiJuri Di RoccoDavide Di RuscioClaudio Di SipioFelicien IhirweLeonardo MarianiDaniela MicucciMaria Teresa RossiRiccardo Rubei
Published in: MoDELS (Companion) (2023)
Keyphrases
  • safety analysis
  • management system
  • safety critical
  • control system
  • fault model
  • symbolic model checking
  • intelligent systems
  • nuclear power plant
  • complex systems