1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems Collection home page

Author: Saurav Kr. Ghosh
Supervisor: Dr. Soumyajit Dey
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
March, 2020

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2020-03Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical SystemsGhosh, Saurav Kumar
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover