DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Mathai Joseph
Mathai Joseph
Computing: 50 Years On
OTC TCS 2005.Pdf
August 2014 FACS a C T S
Software Engineering Approaches for Offshore and Outsourced Development
Formal Techniques in Large-Scale Software Engineering Mathai Joseph Tata Research Development and Design Centre Tata Consultancy
Download (19Mb)
Organizing Committee Conference Chair
A Compositional Framework for Fault Tolerance by Specification Transformation
Connecting You to News Affecting CIPS and the IT Profession CIPS
Lecture Notes in Computer Science 4700 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Free Indian Science
Synthesizing Fault Tolerant Safety Critical Systems
High School CS Internationally
Automated Addition of Fault Recovery to Cyber-Physical Component-Based Models∗
3 a Semantic Model
SEFM 2010 the 8Th IEEE International Conference on SOFTWARE
Lecture Notes in Computer Science 4716 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Parametric Approach to the Specification and Analysis of Real- Time System Designs Based on ACSR-VP
Top View
NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS: the Copyright Law of the United States (Title 17, U.S
ACM India Workshop
White Paper Online Learning in Computing ACM Education Board
Apply for Kpit Sparkle 2016
Real-Time Systems Specification, Verification and Analysis
Ms Niha Dingankar Assistant Professor and Dr Anita Chaware, Head PG Depa