CIS 480/CIS 899: Embedded and Cyber Physical Systems, Spring 2009


Home | Lectures | Reading List  | Assignments  | Projects


Reading List

Introduction

Applications

Formal Methods

Validation Techniques

High-Confidence Software Engineering

Model-based Development

Real-Time Scheduling

Implementation: Programming Languages and Paradigms

Feedback in Computer Systems


Last updpated on 4/3/09 by Insup Lee.