Modeling an NORAD Command Post Using SADT and Colored Petri Nets. Conferences

Overview
Identity
Additional Document Info
View All

authors

Lauer, Peter Ernst
Shapiro, Robert M
Pinci, Valerio O
Mameli, Roberto

publication date

1993

published in

Functional Programming, Concurrency, Simulation and Automated Reasoning Journal