The following pages link to Marina Waldén (Q172357):
Displaying 10 items.
- Kaisa Sere: in memoriam (Q736909) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- (Q1776589) (redirect page) (← links)
- Asynchronous system synthesis (Q1776590) (← links)
- (Q2748153) (← links)
- (Q3431411) (← links)
- Stepwise Development of Simulink Models Using the Refinement Calculus Framework (Q3525076) (← links)
- (Q4499209) (← links)
- (Q4658721) (← links)
- Data refinement of remote procedures (Q5930074) (← links)
