Similar Items: Architectures in parametric component-based systems: Qualitative and quantitative modelling
- Impact-Based Maintenance Efficiency Modeling for Multi-Component Systems With Condition-Based Component Selection
- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
- Parametric updates in parametric timed automata
- On completeness and parametricity in the realizability semantics of System F
- NMT-UNet: Neural Architecture Search for Multi-Task UNet to Segment Human Blastocyst Components
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems