scientific article; zbMATH DE number 2080751

zbMATH Open1050.68510MaRDI QIDQ4473706FDOQ4473706

Authors: Manfred Broy, Oscar Slotosch 

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2211/22110051.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1931787
• scientific article; zbMATH DE number 2080766
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system
• scientific article; zbMATH DE number 1487730
• A high-level requirements engineering methodology for electronic system-level design

Mathematics Subject Classification ID

Theory of software (68N99) Computer system organization (68M99)

Cited In (6)

• A high-level requirements engineering methodology for electronic system-level design
• Towards dependable development tools for embedded systems: a case study in software verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473706)