Documents Model-Based Design and Verification of Embedded Systems

Model-Based Design and Verification of Embedded Systems Radu Grosu SUNY at Stony Brook www.cs.sunysb.edu/~grosu Talk Outline Current trends in embedded software Hierarchic…

Documents Model-Based Design and Verification of Embedded Systems

Model-Based Design and Verification of Embedded Systems Radu Grosu SUNY at Stony Brook www.cs.sunysb.edu/~grosu Talk Outline Current trends in embedded software Hierarchic…