Verification, Performance Analysis and Controller Synthesis for Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane. Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Volume 5961 of Lecture Notes in Computer Science, pages 34-61, Springer, 2009. [doi]

This author has not been identified. Look up 'Uli Fahrenberg' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Claus R. Thrane' in Google

runs on WebDSL