114 results on '"Mathai Joseph"'
Search Results
2. An Instance of Adoption in the Indian Flying Fox Pteropus Giganteus (Chiroptera: Pteropodidae)
3. Engineering the Development of Embedded Systems.
4. Real-Time and Fault-Tolerant Systems.
5. Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?.
6. Formalizing Real-Time Scheduling as Program Refinement.
7. Verification of Fault Tolerance and Real Time.
8. Dynamic Scheduling in the Presence of Faults: Specification and Verification.
9. Comparison of efficacy of sodium hypochlorite with sodium perborate in the removal of stains from heat cured clear acrylic resin
10. Stepwise Development of Fault-Tolerant Reactive Systems.
11. A Compositional Approach for Fault-Tolerance Using Specification Transformation.
12. ISL: An Interval Logic for the Specification of Real-time Programs.
13. Problems, Promises and Performance: Some Questions for Real-time System Specification.
14. Meta-Modelling for Formal Software Development.
15. Dynamic Scheduling and Fault-Tolerance: Specification and Verification.
16. Verification, refinement and scheduling of real-time programs.
17. Template-free Chemical Deposition of Highly Crystalline ZnO Nanorods Thin Films
18. Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
19. Verification of Schedulability for Real-Time Programs.
20. Automated timing analysis of real-time programs.
21. A Compositional Framework for Fault Tolerance by Specification Transformation.
22. Transformation of Programs for Fault-Tolerance.
23. Recent Developments in Flax Fiber Reinforced Composites and its Applications
24. P - A Logic - A Compositional Proof System for Distributed Programs.
25. Abstractions for Real Real-time Systems.
26. Formal Aids for the Growth of Software Systems.
27. Care, Feeding and Growth of Software Systems.
28. Formalizing Models and Meta-models for System Development.
29. Characterization and versatile applications of low hydrogen content SiOCN grown by plasma-enhanced chemical vapor deposition.
30. Gender Intelligence for Banks
31. Time and Real-time in Programs.
32. Algebraic Specification Of A Communication Scheduler.
33. What's 'Real' about Real-Time Systems?
34. Co-Operative Recovery From Faults in Distributed Programs.
35. Semancitcs of Real-time Distributed Programs.
36. Semantics for Specifying Real-Time Systems.
37. Policy: Free Indian science
38. Prosthetic Rehabilitation of a Complete Bilateral Maxillectomy Patient Using a Simple Magnetically Connected Hollow Obturator: A Case Report
39. Clinical Diagnosis and Oral Rehabilitation of a Patient with Amelogenesis imperfecta: A Case Report
40. More on Nested Monitor Calls.
41. Finding Response Times in a Real-Time System.
42. A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.
43. On a Problem in Real-Time Computing.
44. Some Aspects of Concurrent Programmming in CCNPASCAL.
45. Proof Rules for Fault Tolerant Distributed Programs.
46. An Analysis of Paging and Program Behaviour.
47. [Untitled]
48. Meta-Modelling for Formal Software Development
49. Super-Resolution Light Microscopy Using Plasmonic Gratings
50. Verification of schedulability for real-time programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.