Searching for authors named "Mathai Joseph" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Tata Research Development and Design Centre
- …1. Introduction Formal Techniques in Large-Scale Software Engineering Mathai Joseph Tata Research…
- Add To MetaCart
-
Dynamic Scheduling in the Presence of Faults: Specification and Verification
- … Scheduling in the Presence of Faults: Specification and Verification Tomasz Janowski and Mathai Joseph…
- Cited by 9 (6 self) – Add To MetaCart
-
Verification of Fault-Tolerance and Real-Time
- … University of Leicester Leicester LE1 7RH, U.K. Z.Liu@(email omitted); Mathai Joseph Department of Computer…
- Cited by 5 (4 self) – Add To MetaCart
-
Formalizing Real-time Scheduling as Program Refinement
- … and Computer Science University of Leicester Mathai Joseph Department of Computer Science University…
- Cited by 3 (2 self) – Add To MetaCart
-
Real-Time and Fault-Tolerant Systems – Specification, Verification, Refinement and Scheduling
- … – Specification, verification, refinement and scheduling Zhiming Liu and Mathai Joseph May 2005 UNU/IIST Report No…
- Cited by 1 (0 self) – Add To MetaCart
-
Relating Computation and Time
- … Relating Computation and Time Mathai Joseph, Asis Goswami University of Warwick Abstract…
- Add To MetaCart
-
Dynamic Scheduling and Fault-Tolerance: Specification and Verification
- … Scheduling and Fault-Tolerance: Specication and Verication Tomasz Janowski and Mathai Joseph April 99…
- Add To MetaCart
-
Verification of Fault-Tolerance and Real-Time
- … University of Leicester Leicester LE1 7RH, U.K. Z.Liu@(email omitted); Mathai Joseph Department of Computer…
- Add To MetaCart
-
Verification, Refinement and Scheduling of Real-time Programs
- … & Computer Science Universisty of Leicester Leicester LE1 7RH, UK. E-mail: Z.Liu@(email omitted); Mathai Joseph…
- Cited by 5 (2 self) – Add To MetaCart
-
Specification and Verification of Fault-tolerance, Timing and Scheduling
- ….Liu@(email omitted); Mathai Joseph Department of Computer Science University of Warwick Coventry CV4 7AL, U.K. Abstract…
- Cited by 15 (5 self) – Add To MetaCart
Showing 1 through 10.
