Skip to content
Snippets Groups Projects
Commit 87f46a25 authored by Giammarco, Kristin M's avatar Giammarco, Kristin M
Browse files

Update models/Application_examples/Authentication.mp,...

Update models/Application_examples/Authentication.mp, models/Application_examples/Beginner_Use_of_MP.mp, models/Application_examples/CargoScreening.mp files
parent 5b975647
No related branches found
No related tags found
No related merge requests found
/* Model of Authentication
Created by Kristin Giammarco on 2017-05-16.
Modified by Kristin Giammarco on 2017-08-07 to add
Created by Kristin Giammarco on the 16th of May, 2017.
Modified by Kristin Giammarco on the 7th of August, 2017 to add
capitalization to state events and ENSURE constraints.
Edited by Keane Reynolds in July, 2021.
Edited by Pamela Dyer in July and August, 2021.
......
/* Model of Beginner Use of MP
Created by Kristin Giammarco on 2021-02-08.
Created by Kristin Giammarco on the 8th of February, 2021.
Edited by Keane Reynolds in July, 2021.
Edited by Pamela Dyer in July and August, 2021.
Edited by Kristin Giammarco in September, 2021.
......
/* Model of Cargo Screening
Created by Mikhail Auguston on 2011-05-06
Created by Mikhail Auguston on the 6th of May, 2011.
Edited by Keane Reynolds in July, 2021.
Edited by Pamela Dyer in July and August, 2021.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment