scientific article; zbMATH DE number 2080777

zbMATH Open1050.68520MaRDI QIDQ4473748FDOQ4473748

Authors: Pamela Anne Binns, Steve Vestal 

Publication date: 4 August 2004

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

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

Recommendations

• Model-driven architecture for embedded software: A synopsis and an example
• An architectural approach to the analysis, verification and validation of software intensive embedded systems
• Publication:4941021
• scientific article; zbMATH DE number 2018579
• Languages for formalizing, visualizing and verifying software architectures

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifying embedded systems with statecharts and Z: An agenda for cyclic software components
• An architectural approach to the analysis, verification and validation of software intensive embedded systems

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 Q4473748)