Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 316 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 316 Bytes
Raw

bms-cin-if721

BMS project modeled in B method for the IF721 class (Critical Systems) at CIn/UFPE

Requirements:

Configure:

  1. Open AtelierB
  2. Create a Workspace if you do not have one
  3. Create a Software Development project called BMS and use the src/MANIFEST file