Skip to main navigation
Skip to search
Skip to main content
Sort by
Keyphrases
Internet of Things
100%
Security Analysis
100%
Safety Analysis
100%
Verification Method
27%
Software Verification
18%
Functional Properties
18%
Safety Properties
18%
Specific Language
18%
Security Properties
18%
Review Criteria
9%
Smart Environments
9%
Development Artifacts
9%
Software Analysis
9%
Generation Method
9%
Expected Outcomes
9%
Scientific Community
9%
Software Security Analysis
9%
Functional Safety
9%
Work Progress
9%
Experimental Artefacts
9%
Functional Security
9%
Source Code
9%
Autonomous Infrastructure
9%
Internet of Things Security
9%
Software Safety Analysis
9%
Smart Devices
9%
Public Space
9%
Workplace
9%
Programming Platform
9%
Project Duration
9%
Home Spaces
9%
Transition System
9%
Correctness Proofs
9%
Automatically Generate
9%
Technical Community
9%
Impact Review
9%
Software Tutorials
9%
By Design
9%
Scalable Software
9%
Software Datum
9%
Safety Security
9%
Computer Science
Security Analysis
100%
Internet-Of-Things
100%
Language Specific
16%
Functional Property
16%
Security Properties
16%
Synthesis Tool
8%
Smart Device
8%
Expected Result
8%
Transition System
8%
Smart Environment
8%
Software Verification
8%
Desired Property
8%
Source Coding
8%
Correctness
8%