The following pages link to TIMES (Q14142):
Displaying 23 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Detecting chaos and predicting in Dow Jones Index (Q721762) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Improvement in global forecast for chaotic time series (Q1682687) (← links)
- A new method for improved global mapping forecast (Q1682700) (← links)
- A new characterization of chaos from a time series (Q1694074) (← links)
- Quantifying chaos in stock markets before and during COVID-19 pandemic from the phase space reconstruction (Q2168131) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Resources in process algebra (Q2373652) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- From Safety Critical Java Programs to Timed Process Models (Q3460876) (← links)
- (Q4472228) (← links)
- (Q4472261) (← links)
- (Q4658723) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
- Mixing Behavioral and Technological Data in Mathematical Programming Framework (Q5171795) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308410) (← links)
- Programming Languages and Systems (Q5464052) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464742) (← links)
- Modeling Bitcoin Contracts by Timed Automata (Q5500550) (← links)
