Searching for authors named "Iain Bate" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Architectural Considerations in the Certification of Modular Systems
- …Architectural considerations in the certification of modular systems Iain Bate*, Tim Kelly…
- Cited by 9 (4 self) – Add To MetaCart
-
Scheduling and Timing Analysis for Safety Critical Real-Time Systems
- … of Doctor of Philosophy Iain John Bate Department of Computer Science, University of York. November 2…
- Cited by 4 (0 self) – Add To MetaCart
-
A contract-based approach to designing safe systems
- …A Contract-based Approach to Designing Safe Systems Iain Bate, Richard Hawkins and John Mc…
- Cited by 1 (0 self) – Add To MetaCart
-
Generating and maintaining a Safety Argument for Integrated Modular Systems. 5th Australian Workshop on Safety Critical Systems and Software, Institution of Engineers Australia
- …, Philippa Conmy, Iain Bate, John McDermid Department of Computer Science, University of York, York, YO10 5DD…
- Cited by 3 (0 self) – Add To MetaCart
-
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
- … for Configuring Search-Based Design Algorithms Simon Poulding, Paul Emberson, Iain Bate, and John Clark Department…
- Add To MetaCart
-
Use of modern processors in safety−critical applications
- …, Heslington, York YO10 5DD, UK Email: iain.bate@(email omitted); This paper investigates the implications…
- Add To MetaCart
-
List of Potential Supervisors
- … Supervisors 1 Neil Audsley 2 Jim Austin 3 Iain Bate 4 Ian Benest 5 Adrian Bors 6 Sam Braunstein 7 Alan Burns 8…
- Add To MetaCart
-
Impact of Embedded Systems Evolution on RTOS Use and Design
- …Impact of Embedded Systems Evolution on RTOS Use and Design David Andrews ∗ , Iain Bate † , Thomas…
- Add To MetaCart
Showing 1 through 8.
