A formal approach to specify and verify Internet of Things architecture
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
Topics & Concepts
Computer scienceUnified Modeling LanguageSequence diagramSoftware engineeringFormal methodsEvent (particle physics)Programming languageModel checkingComponent (thermodynamics)Model transformationApplications of UMLUML toolFormal verificationSoftwareArtificial intelligenceThermodynamicsConsistency (knowledge bases)PhysicsQuantum mechanicsAdvanced Software Engineering MethodologiesModel-Driven Software Engineering TechniquesSoftware System Performance and Reliability