Category

Project MOVES

News /
: ASE2010InAntwerpInSeptember
Publications /
: 25thIEEE-ACMInternationalConferenceOnAutomatedSoftwareEngineering
: ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction
: AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction
: CombiningPartialOrderReductionAndSymbolicModelCheckingToVerifyLTLProperties
: CombiningPartialOrderReductionWithBoundedModelChecking
: EfficientSymbolicModelCheckingForProcessAlgebras
: MilestonesAModelCheckerCombiningSymbolicModelCheckingAndPartialOrderReduction
: OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel
Research /
: HumanComputerInteractionVerification
: SymbolicModelCheckingOfAsynchronousSystems
Talks /
: MOVEStutorial2008

Find It