Graham Hemingway

From MaRDI portal
Person:3522933

Available identifiers

zbMath Open hemingway.grahamMaRDI QIDQ3522933

List of research outcomes





PublicationDate of PublicationType
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems2008-09-04Paper

Research outcomes over time

This page was built for person: Graham Hemingway