Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2009 · 11 citations · 0 references
Open access
ComputingComputer EngineeringComputer SystemsModel-based Systems EngineeringReal-time SystemsSystems ModelingAutomata TheoryQueueing TheoryReal-time Resource ManagementReal-time Systems DesignContinuous-time Markov ChainsOperational SemanticsReal-time ConstraintsReal-time SemanticsReal-time Systems Modeling