✦ LIBER ✦
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors
✍ Scribed by Arora, S.; Gadkari, A.A.; Ramesh, S.
- Book ID
- 117888159
- Publisher
- Institute of Electrical and Electronics Engineers
- Year
- 2011
- Tongue
- English
- Weight
- 254 KB
- Volume
- 3
- Category
- Article
- ISSN
- 1943-0663
No coin nor oath required. For personal study only.