Experts Matter. Find Yours.Connect for media, speaking, professional opportunities & more.Select a tabExpertise for "Formal Verification“FiltersFiltersTop TopicsCompaniesCountriesMediaTop TopicsCybersecurityFormal VerificationSoftware EngineeringArtificial IntelligenceAssessment Methods for Dependable and High Integrity SystemsAutomation and Configuration ManagementAutonomic ComputingBig Data AnalyticsBiologically Inspired Self-Healing SystemsBiomedical and Health InformaticsCloud Infrastructure DeploymentCloud SecurityCompilers and InterpretersComplexity Aware Design for Critical SystemsComputer ArchitectureComputer Security and Intrusion Detection SystemsComputingCyber Physical SystemsData MiningEmbedded SystemsFault Injection for Cyber Physical SystemsHardware VerificationHuman System Interactions in Autonomous SystemsMachine LearningModel based Design and Analysis of Cyber-phyiscal SystemsModel-integrated ComputingProgramming LanguagesQuantum ComputingRuntime Verification and MonitoringSmart City InfrastructureSoftware SecuritySystem Diagnosis and Fault AnalysisShow All +CompaniesVCU College of EngineeringFlorida Atlantic UniversityLoyola Marymount UniversityMilwaukee School of EngineeringUniversity of FloridaCountriesUnited StatesMediaPodchaserPhotosVideoPublicationsDocuments/SlidesPreviousNextShowing 30 to 6 of 6 Results
