Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer
Davide Basile, Alessandro Fantechi, Irene Rosadi
Topics & Concepts
Computer scienceInteroperabilityStandardizationFormal methodsInterface (matter)Formal verificationAutomatonFormal specificationSoftware engineeringApplication layerLayer (electronics)Model checkingProgramming languageArtificial intelligenceOperating systemMaximum bubble pressure methodOrganic chemistryChemistrySoftware deploymentBubbleFormal Methods in VerificationSafety Systems Engineering in AutonomySoftware Reliability and Analysis Research