The Safety-critical Java Mission Model: a formal account

Frank Zeyda, Ana Lucia Caneca Cavalcanti, Andy Wellings

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results