Taxonomic Search: vivek OR borkar

7 results

Results

file

Foundations of Cyberphysical Systems

Submitted by Panganamala Kumar on Tue, 08/31/2010 - 11:03am. Contributors:

A presentation on Foundations of Cyberphysical Systems by P.R. Kumar (University of Illinois, Urbana-Champaign) at the National CPS PI Meeting 2010

page

2013 HCSS Conference Program Agenda

Submitted by Katie Dey on Mon, 04/01/2013 - 10:40am
 
Tuesday, May 7
JavaScript
Wednesday, May 8
SMT
Thursday, May 9
HW/SW
Friday, May 10
webform

2013 HCSS Conference Questionnaire

Submitted by Katie Dey on Wed, 05/01/2013 - 11:27pm
file

Logics of dynamical systems

Submitted by sloos@cs.cmu.edu on Mon, 03/04/2013 - 2:55pm
  • 421.31 KB
  • 0 views
  • 6 downloads
  • Download