Index of ftp://ftp.cs.york.ac.uk/pub/hise/

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 06
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[TXT] Generating Evidence for Certification of Modern Processors for use in Safety Critical Systems.doc.pdf  50.15Kb  July 5 2004
[TXT] HEALTH_MODELLING_FOR_AGILITY_IN_SAFETY-CRITICAL_SYSTEMS_DEVELOPMENT.pdf  91.14Kb  September 29 2006
[TXT] High level failure analysis for Integrated Modular Avionics.pdf  85.24Kb  July 5 2004
[TXT] ISAAC:_a_framework_for_integrated_safety_analysis_of_functional,_geometrical_and_human_aspects.pdf  301.68Kb  September 14 2006
[TXT] ISSC2004.pdf  1.20Mb  March 23 2005
[ZIP] ISSC_21_final_with_refs.zip  105.25Kb  March 12 2003
[TXT] ISSC_Tutorial.pdf  11.72Mb  October 20 2010
[TXT] Identifying Safety Dependanciesin Modular Computer Systems.pdf  178.71Kb  July 8 2004
[TXT] Integrating_safety_and_formal_analyses_using_UML_and_PFS.pdf  700.33Kb  September 29 2006
[TXT] Investigating the Applicability of Traditional Test Adequacy for OO Programs.pdf  78.25Kb  July 5 2004
[TXT] Investigatingthe Effectiveness ofOO Test strategies.pdf  98.28Kb  July 8 2004
[ZIP] Issues.zip  51.76Kb  March 12 2003
[IMG] LOGO.png  31.25Kb  March 12 2003
[TXT] LisagorMcDermidPumfrey-ISSC04.pdf  190.59Kb  November 16 2004
[TXT] MODEL-BASED SEMIAUTOMATIC SAFETY ANALYSIS OF PROGRAMMABLE SYSTEMS IN.pdf  83.39Kb  July 7 2004
[TXT] Multi-Cue Vision, Novel Architectures and High IntegrityConcepts....pdf  927.81Kb  July 7 2004
[TXT] NASALangley.pdf  100.42Kb  July 8 2004
[TXT] On_the_Formal_Development_of_Safety-Critical_Software.pdf  126.47Kb  September 29 2006
[TXT] OzPaper.pdf  445.78Kb  March 23 2005
[TXT] PLEES-2002-IncremProdLineDev.pdf  41.10Kb  March 12 2003
[TXT] PLTestingSZCM.yuanMcDermid ISSC.pdf  52.72Kb  November 16 2004
[TXT] Performing Hazard and safety Analysis ofObject Orientated Systems - Hawkins.pdf  237.29Kb  July 7 2004
[TXT] Process Tailoring in Iterative.pdf  274.51Kb  July 5 2004
[TXT] Proving_Properties_of_Stateflow_Models_using_ISO_Standard_Z_and_CADiZ.pdf  184.76Kb  February 14 2007
[TXT] Refactoring_service-based_systems:_how_to_avoid_trusting_a_workflow_service.pdf  223.93Kb  September 28 2006
[TXT] SETE2002_Lindsay.pdf  329.10Kb  November 16 2004
[ ] SF Old Republic Bold.ttf  21.90Kb  March 12 2003
[IMG] SF Old Republic Sample.jpg  15.10Kb  March 12 2003
[ ] SF Scribbled Sans.ttf  41.13Kb  March 12 2003
[TXT] Safety Assessment of System Architectures.pdf  362.76Kb  July 5 2004

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 06
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->