Publication | Closed Access

System modeling using the Parallel DEVS formalism and the Modelica language

EngineeringSoftware EngineeringModelica LanguageSoftware AnalysisParallel DevelopmentSystems EngineeringModel-based Software DevelopmentModeling And SimulationParallel ComputingComputer EngineeringComputer ScienceSoftware DesignParallel Devs FormalismModel-based System EngineeringFormal MethodsParallel ProgrammingParallel Programming ModelSystem SoftwareSystem Specification