Hiding of Tasking Event-B in non-Tasking Machines.

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#8 Hiding of Tasking Event-B in non-Tasking Machines.

Milestone: 1.0

Status: open

Owner: Andy Edmunds

Labels: None

Updated: 2013-06-21

Created: 2013-06-21

Private: No

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