|
| Name: |
Professor A Wellings |
| Organisation: |
University of York |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/H017461/1 | High-integrity Java Applications using Circus | (C) |
| GR/R67668/01 | Distributed Aircraft Maintenance Environment: DAME | (C) |
| GR/M94113/01 | PORTABLE CODE FOR SAFETY CRITICAL REAL-TIME SYSTEMS | (C) |
| GR/N05963/01 | INTEGRATING SEQUENTIAL AND CONCURRENT VERIFICATION TECHNIQUES FOR HIGH INTEGRITY REAL-TIME SOFTWARE | (C) |
| GR/K80334/01 | ENGINEERING OF FLEXIBLE AND ROBUST REAL-TIME SYSTEMS | (C) |
| GR/H39611/01 | REAL-TIME SYSTEMS ENGINEERING | (P) |
| GR/F73441/01 | OPERATING SYSTEM SUPPORT FOR HARD REAL-TIME APPLICATIONS | (P) |
| GR/F35920/01 | REAL-TIME SYSTEMS THE NEXT GENERATION | (P) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|