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