'Hybrid system models' diaporamas de présentation

Conterfactuals

Conterfactuals. Srini Narayanan ICSI NTL Meeting 10/30/2009. Alterations to reality. If Ted Kennedy were alive, universal health care would have an unshakable champion. If only we had left earlier, we would have avoided the traffic. He almost made it to the track on time.

765 views • 67 slides

Fighter Avionics Domains

511 views • 37 slides

HASTEN: Advanced Tool Integration for Embedded Systems Assurance

HASTEN: Advanced Tool Integration for Embedded Systems Assurance. Insup Lee Department of Computer and Information Science University of Pennsylvania. May 10, 2005. Principle investigators. Rajeev Alur (UPenn) Sampath Kannan (UPenn) Insup Lee (PI, UPenn) Oleg Sokolsky (UPenn)

284 views • 15 slides