Experts Matter. Find Yours.Connect for media, speaking, professional opportunities & more.Select a tabExpertise for "Formal Verification“FiltersFiltersTop TopicsCompaniesCountriesMediaTop TopicsCybersecurityFormal VerificationSoftware EngineeringAccounting Analytics and Emerging TechnologiesAccounting Information Systems (AIS)Artificial 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 SystemsGovernance and Ethics in AccountingHardware VerificationHuman System Interactions in Autonomous SystemsHuman-Robot InteractionInternal Controls and Risk ManagementMachine LearningModel based Design and Analysis of Cyber-phyiscal SystemsModel-integrated ComputingMotion PlanningMulti-Agent SystemsOptimizationProfessional Judgment and AccountabilityProgramming LanguagesQuantum ComputingRobotics FoundationsRuntime Verification and MonitoringSmart City InfrastructureSoftware SecuritySystem Diagnosis and Fault AnalysisShow All +CompaniesLoyola Marymount UniversityVCU College of EngineeringCarnegie Mellon UniversityFlorida Atlantic UniversityMilwaukee School of EngineeringUniversity of FloridaCountriesUnited StatesMediaPodchaserPhotosVideoPublicationsDocuments/SlidesPreviousNextShowing 80 to 8 of 8 Results
