Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system

DOI10.1023/A:1011237030847zbMath0972.68567OpenAlexW234402448MaRDI QIDQ5944329

Rainer Gmehlich

Publication date: 15 November 2001

Published in: Design Automation for Embedded Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011237030847

zbMATH Keywords

MATLABembedded systemARGOSSTATEMATE

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Uses Software

• Unnamed Item

This page was built for publication: Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system