Select Git revision
Search by author
- Any Author
- authors
-
Allen, Bruce (CIV) bdallen
-
Auguston, Mikhail maugusto
-
Beck, James james.beck_westpoint.edu
-
Bradley, Benjamin brbrad1812_ung.edu
-
Butler, James Jbutler_helpfulengineering.org
-
Daniel Awerbuck
dawerbuc_usc.edu
-
Dave Collins
dc.1.drakec_cox.net
-
Desai, Rusita (CIV) rusita.desai
-
Dyer, Pamela (ORISE Fellow) pamela.dyer
-
**** project_4391_bot
-
Frye, Leah E
lefrye
-
Giammarco, Kristin M kmgiamma
-
Gregory, George (Greg) Contractor, MKS2 LLC george.gregory.ctr
-
Gyurek, Croix
crgyurek_iu.edu
-
John James john.james_westpoint.edu
-
Johnson,Chase c_johnson_tamu.edu
-
Joseph Friedel joseph.friedel_navy.mil
-
Kamalov, Oybek ok001_my.tamuct.edu
-
Keane Reynolds keane.reynolds_gmail.com
-
Keith Thoms keith.thoms_navy.mil
- Oct 20, 2022
-
-
Giammarco, Kristin M authored
-
- Dec 26, 2021
-
-
Pamela Dyer authored
-
- Nov 02, 2021
-
-
Giammarco, Kristin M authored
Update models/Application_examples/Autonomous_Car.mp, models/Application_examples/Knapsack_Weight_Limit.mp, models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp, models/Example29_Gantt_Chart.mp files
-
- Oct 17, 2021
-
-
Keane Reynolds authored
Shrunk borders on examples 25-38 and application examples "Application Process," "Aspect_Oriented_Paradigm," and "Authentication."
-
- Oct 12, 2021
-
-
Keane Reynolds authored
-
- Oct 07, 2021
-
-
Keane Reynolds authored
-
- Sep 09, 2021
-
-
Pamela Dyer authored
-
- Aug 26, 2021
-
-
Giammarco, Kristin M authored
-
Giammarco, Kristin M authored
-
- Jul 24, 2021
-
-
- Jul 21, 2021
-
-
Allen, Bruce (CIV) authored
-
- Jul 08, 2021
-
-
- Jun 30, 2021
-
-
Keane Reynolds authored
-
- Jun 29, 2021
-
-
Keane Reynolds authored
Added section title headers to every file, and moved references to the correct location within these sections.
-
- Jun 25, 2021
-
-
Giammarco, Kristin M authored
-
Keane Reynolds authored
-
-
- Jun 17, 2021
-
-
Pamela Dyer authored
-
Pamela Dyer authored
-
Keane Reynolds authored
-
- Jun 16, 2021
-
-
Giammarco, Kristin M authored
Update Example22_SimpleMessageFlow_GlobalReport.mp, Example23_CarRace_LocalGraph.mp, Example25_Graph_as_Data_Structure.mp, Example26_UnreliableMessageFlow_GlobalQuery.mp, Example27_AssemblingStatistics_Table_and_Bar_Chart.mp, Example28_AssemblingStatistics_Histogram.mp, Example29_AssemblingStatistics_Gantt_Chart.mp, Example30_MicrowaveOven_ModelingModelChecking.mp, Example32_Petri_Net.mp, Example33_ATMWithdrawal_StatechartView.mp, Example34_FiniteStateDiagram_PathAnnotation.mp, Example35_FiniteStateDiagram_PathDiagram.mp, Example36_Authentication_SystemReuse.mp, Example37_Compiler1_ComponentReuse.mp, Example38_Compiler2_ComponentReuse.mp, Wide_Range_Search_for_Wreckage_and_Survivors, Commercial_Flight, Spiral_Software_Process, MP_Architecture_Specification.mp, Turtles_in_the_Desert.mp, Dining_Philosophers.mp, Knapsack_Weight_Limit.mp, Web_Browser_Formal_Security.mp, Replay_Attack.mp, Railroad_Crossing_Safety.mp, Work_Productivity.mp, Martian_Lander.mp, Example24_Compiler_ComponentDiagram.mp, CargoScreening.mp, Elevator.mp, Manufacturing_Process.mp, Swarm_UAV.mp, Autonomous_Car.mp, Swarm_Search_and_Track.mp, First_Responder.mp, Unmanned_Spacecraft_Comms.mp, UAV_Ingress.mp, Authentication.mp, Small_Package_Delivery.mp, UAV_OnStation.mp, Cycle_Pattern.mp, Surgery.mp, Spent_Fuel_Cooling_and_Cleanup.mp, Prisoners_Dilemma.mp, FindAdvisor.mp, Beginner_Use_of_MP.mp files
-
- Jun 15, 2021
-
-
McCullick, Philip (CIV) authored
-
