Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors

Silky Arora, Ambar A. Gadkari, S. Ramesh. Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. Embedded Systems Letters, 3(2):62-65, 2011. [doi]

Authors

Silky Arora

This author has not been identified. Look up 'Silky Arora' in Google

Ambar A. Gadkari

This author has not been identified. It may be one of the following persons: Look up 'Ambar A. Gadkari' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google