Carnegie Mellon University
CS 15398 — Introduction to Nanotechnology
18 documents • ranked by quality and engagement.
No description provided
Nanotechnology Introduction
CS 15398 · Carnegie Mellon University
Nanotech Lecture Three
CS 15398 · Carnegie Mellon University
Efficient SAT Solving with GRASP
CS 15398 · Carnegie Mellon University
Nanotech Lecture One
CS 15398 · Carnegie Mellon University
Promela and Spin Introduction
CS 15398 · Carnegie Mellon University
SPIN Verification Lecture
CS 15398 · Carnegie Mellon University
Examples using SPIN
CS 15398 · Carnegie Mellon University
Nanotechnology Assignment
CS 15398 · Carnegie Mellon University
Nanotech Lecture Two
CS 15398 · Carnegie Mellon University
Tool for SPIN
CS 15398 · Carnegie Mellon University
Computation Tree Logic (CTL)
CS 15398 · Carnegie Mellon University
Nanotubes of Carbon
CS 15398 · Carnegie Mellon University
General Nanotechnology Lecture
CS 15398 · Carnegie Mellon University
Lipid Structures
CS 15398 · Carnegie Mellon University
SPIN Model Checker
CS 15398 · Carnegie Mellon University
Axes of Design in Nanotechnology
CS 15398 · Carnegie Mellon University
SMV Puzzles
CS 15398 · Carnegie Mellon University
Bus Protocol Example in SMV
CS 15398 · Carnegie Mellon University