Marina Waldén
From MaRDI portal
Person:172357
Available identifiers
zbMath Open walden.marinaMaRDI QIDQ172357
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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 |
| Formal development of NoC systems in B | 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 |
| Structuring and verifying distributed algorithms | 2001-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499209 | 2001-03-05 | Paper |
Research outcomes over time
This page was built for person: Marina Waldén
