activity
20122025
most citedA Mutation-based Approach for Assessing Weight Coverage of a Path Planner

17 citations · 59 across the 12 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.SE2012

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

Fuyuki Ishikawa, Alexander Romanovsky

These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the…