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

[TXT] Safety case architectures to complement a contract-based approach to designing safe systems.pdf  307.05Kb  July 7 2004
[TXT] Safety_Specification_of_the_Active_Traffic_Management_Control_System_for_English_Motorways.pdf  290.66Kb  September 28 2006
[TXT] Software safety - wheres the evidence.pdf  169.32Kb  July 5 2004
[TXT] Software_in_Safety_Critical_Systems:Achievement_and_Prediction.pdf  568.17Kb  September 29 2006
[TXT] StevensonMcDermid ISSCpaper.pdf  116.70Kb  November 16 2004
[ZIP] Supporting.zip  15.27Kb  March 12 2003
[TXT] Systematic Anticipation and Validation of Scenarios.pdf  176.12Kb  July 5 2004
[ZIP] Systematic.zip  195.54Kb  March 12 2003
[TXT] The Potential for a Generic Approach.pdf  201.45Kb  July 8 2004
[ZIP] Thesis16.zip  983.37Kb  March 12 2003
[TXT] Towards_Safety_Analysis_of_Highly_Integrated_Technologically_Heterogeneous_Systems_–_A_Domain-Based_Approach_for_Modelling_System_Failure_Logic.pdf  544.69Kb  September 14 2006
[TXT] Towards_a_PracticableProcess_for_Automated_Safety_Analysis.pdf  405.34Kb  September 29 2006
[TXT] Towards_a_Practicable_Process_for_Automated_Safety_Analysis.pdf  145.70Kb  September 14 2006
[TXT] Use of Modern Processors in safety critical applications.pdf  201.86Kb  July 8 2004
[ZIP] applyinglessonslearnt.zip  98.95Kb  March 12 2003
[TXT] archress.pdf  788.84Kb  December 21 2004
[ZIP] behaviouralconflicts.zip  285.00Kb  March 12 2003
[IMG] bike.jpg  65.35Kb  September 5 2003
[IMG] bike1.jpg  20.61Kb  September 5 2003
[TXT] blank.html  666.00b  March 12 2003
[ ] cadiz  395.04Kb  March 12 2003
[ ] cadiz.Z  146.42Kb  March 12 2003
[ZIP] cadiz.zip  114.75Kb  March 12 2003
[ZIP] calendar.zip  30.46Kb  March 12 2003
[TXT] chargeback.pdf  960.45Kb  July 5 2004
[ZIP] controlprinciples.zip  156.96Kb  March 12 2003
[ ] crack.ttf  10.48Kb  March 12 2003
[ZIP] crackpot.zip  5.70Kb  March 12 2003
[ZIP] dccs98.zip  63.55Kb  March 12 2003
[ ] delegationofauthority  4.94Mb  March 12 2003

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