VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time.
Hiba AwadAbdelghani AlidraHugo BruneliereThomas LedouxÉtienne LeclercqJonathan RivalanPublished in: SAC (2024)
Keyphrases
- generic model
- design criteria
- case study
- design issues
- single image
- design tools
- building blocks
- information systems
- engineering design
- support systems
- computer systems
- intelligent systems
- management system
- human computer interface
- design space
- artificial intelligence
- highly modular
- design methodology
- design decisions
- appearance model
- complex systems
- design process
- search space
- high dimensional
- expert systems
- three dimensional
- image segmentation