Modeling an NORAD Command Post Using SADT and Colored Petri Nets

• Authors:

• Robert M. Shapiro;Valerio O. Pinci;Roberto Mameli

• Affiliations:

• -;-;-

• Venue:
• Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
• Year:
• 1993