Marina Waldén
From MaRDI portal
Person:172357
Available identifiers
zbMath Open walden.marinaMaRDI QIDQ172357
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Kaisa Sere: in memoriam | 2016-08-05 | Paper |
| Derivation of concurrent programs by stepwise scheduling of Event-B models | 2016-08-05 | Paper |
| Stepwise Development of Simulink Models Using the Refinement Calculus Framework | 2008-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3431411 | 2007-04-10 | Paper |
| Asynchronous system synthesis | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4658721 | 2005-03-18 | Paper |
| Data refinement of remote procedures | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2748153 | 2001-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499209 | 2001-03-05 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Marina Waldén
