Example: stock market
Search results with tag "Formalizing"
An Ontology for State Analysis: Formalizing the Mapping to ...
www.omgsysml.orgAn Ontology for State Analysis: Formalizing the Mapping to SysML David A. Wagner Jet Propulsion Laboratory 4800 Oak Grove Dr. Pasadena, CA 91109 818-354-1148 David.A.Wagner@jpl.nasa.gov Nicolas Rouquette Jet Propulsion Laboratory 4800 Oak Grove Dr. Pasadena, CA 91109 818-354-9600
CSC
www.florens.com2 The objective of CSC is to ensure a high level of safety of human life by formalizing common international safety requirements for the structural