Adaptive Exterior Light and Speed Control System-Reference-Cited by-同舟云学术

Adaptive Exterior Light and Speed Control System

Published:2020 Issue: Volume: Page:281-301
ISSN:0302-9743
Container-title:Rigorous State-Based Methods
language:
Short-container-title:

Author:

Houdek Frank,Raschke Alexander

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-48077-6_24

Reference4 articles.

1. Communications in Computer and Information Science;F Boniol,2014

2. Lecture Notes in Computer Science;TS Hoang,2018

3. Houdek, F.: Automotive example: exterior lighting and speed control. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds.) Advanced Model-Based Engineering of Embedded Systems, pp. 13–19. Springer (2016)

4. Lecture Notes in Computer Science;A Mashkoor,2016

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Scalable Redundancy Detection for Real-Time Requirements;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24

2. Validating multiple variants of an automotive light system with Alloy 6;International Journal on Software Tools for Technology Transfer;2024-05-23

3. A journey with ASMETA from requirements to code: application to an automotive system with adaptive features;International Journal on Software Tools for Technology Transfer;2024-05-17

4. An automotive case study;International Journal on Software Tools for Technology Transfer;2024-05-16

5. Generating interactive documents for domain-specific validation of formal models;International Journal on Software Tools for Technology Transfer;2024-02-20