Category

Project NASA

News /
: TwoPapersPresentedAtWorkshopsAtASE2011IncludingOneBestPaper
Publications /
: AFormalAnalysisOfRequirements-BasedTesting
: AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction
: AJavaPathfinderExtensionToAnalyseHuman-MachineInteractions
: ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability
: AutomaticDetectionOfPotentialAutomationSurprisesForADEPTModels
: AutomaticVerificationOfKnowledgeAndTimeWithNuSMV
: FormalVerificationOfAutonomyModelsFromLivingstoneToSMV
: LearningSystemAbstractionsForHumanOperators
: StateEventModelsForTheFormalAnalysisOfHuman-MachineInteractions
: SymbolicModelCheckingOfLogicsWithActions
: TestingPlanningDomainsWithoutModelCheckers
Research /
: FunctionalRequirementsCoverage
: HumanComputerInteractionVerification

Find It