TIMES
From MaRDI portal
Software:14142
No author found.
Related Items (23)
Unnamed Item ⋮ Spotlight abstraction in model checking real-time task schedulability ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Resources in process algebra ⋮ From Safety Critical Java Programs to Timed Process Models ⋮ Predictable real-time software synthesis ⋮ Task automata: Schedulability, decidability and undecidability ⋮ Quantifying chaos in stock markets before and during COVID-19 pandemic from the phase space reconstruction ⋮ Improvement in global forecast for chaotic time series ⋮ A new method for improved global mapping forecast ⋮ A new characterization of chaos from a time series ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Programming Languages and Systems ⋮ MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS ⋮ WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model ⋮ Models and formal verification of multiprocessor system-on-chips ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Mixing Behavioral and Technological Data in Mathematical Programming Framework ⋮ Detecting chaos and predicting in Dow Jones Index ⋮ Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Modeling Bitcoin Contracts by Timed Automata
This page was built for software: TIMES
