2003 · 16 citations · 0 references
EngineeringComputer EngineeringComputer ScienceEmbedded SystemsModel-based Systems EngineeringSystems ModelingEmbedded Systems ArchitectureEmbedded Systems DesignModel CheckingModel ExecutionSafety-critical Embedded SystemsSystem SimulationEmbedded System ModelingEmbedded System VerificationHardware Model CheckingScenario-based ExecutionScenario-based TestingScenario-based VerificationSimulation-based Verification