scientific article; zbMATH DE number 2088938

zbMATH Open1046.68868MaRDI QIDQ3045884FDOQ3045884

Luís Miguel Pinho, Francisco Vasques

Publication date: 12 August 2004

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

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

Recommendations

• scientific article; zbMATH DE number 2011463
• A Ravenscar-compliant run-time kernel for safety-critical systems
• scientific article; zbMATH DE number 1706361
• scientific article; zbMATH DE number 2088936
• scientific article; zbMATH DE number 3874575

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Distributed systems (68M14) Theory of software (68N99)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Ada95

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