Hiding of Tasking Event-B in non-Tasking Machines. Investigate how we can hide the tasking attributes that appear in non-tasking machines.
Log in to post a comment.