Person:172357: Difference between revisions
From MaRDI portal
Person:172357
Created automatically from import230924090903 |
m AuthorDisambiguator moved page Marina Waldén to Marina Waldén: Duplicate |
(No difference)
| |
Latest revision as of 11:51, 8 December 2023
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
