Results
|
|
|
|
|
Methodologies for the design of self-checking circuits (R) by Pagey, Sandeep [Author] | Sherlekar, S.D [Supervisor] | Venkatesh, G [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 1993Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1993 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:658.562 Pag.
|
|
|
NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book) by Havelund, Klaus [Editor] | Holzmann, Gerard [Editor] | Joshi, Rajeev [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9058 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
On guaranteeing availability in underlay aware overlay networks (R) by Madhu Kumar, S.D [Author] | Bellur, Umesh [Supervisor] | Govindan, V.K [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay ; IIT ; 2009Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2009 Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:681.3.06 Mad.
|
|
|
Design of monitored self-checking sequential circuits (R) by Parekhji, Rubin A [Author] | Venkatesh, G [Supervisor] | Sherlekar, S.D [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 1994Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1994 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:658.562 Par.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|