Ecd302 unit 02(evaluate software packages)
Components Library for Simulation and Analysis of Aircraft Electrical Power Systems Using Modelica
Chapter 8 Management Support and Coordination Systems.
Behavioral modeling with Petri Nets for Verification © 2008 LIP6 - 1 - Behavioral modeling with Petri Nets for Verification Fabrice Kordon & Yann Thierry-Mieg.
LLNL-PRES-668705 This work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under contract DE-AC52-07NA27344.
Review of the Status of the RPC-DHCAL
Simulations (LET beam dynamics ) Group report 20080502 Kiyoshi Kubo.