12_cement Adequacy Norms

DSC_0463

Introduction to Automotive materials

Bio resin based natural fibre composites and their applications

design analysis and reliability of electronic packages

Introduction to FEA and applications

Composite materials lecture

Corrigendum

A case study in specifying and testing architectural features

Specification of systems with interrupts

Formal methods and design extraction: a pilot study

Independent examination of software: an experiment

Automatic synthesis of a subclass of schedulers in timed systems

A tool based approach to checking logical consistency in accident reports

Distributed Timed Automata

Automatic Synthesis of Schedulers in Timed Systems

Vibrations and fatigue- vibration interactions of laminated composites.

Writing and Publishing a Research Paper

Measurement techniques in advanced materials systems

Design optimization of Sandwich Structures.