swMATH1403MaRDI QIDQ14142FDOQ14142
Author name not available (Why is that?)
Official website: http://cpc.cs.qub.ac.uk/summaries/AERW_v1_0.html
Cited In (30)
- Models and formal verification of multiprocessor system-on-chips
- Mixing behavioral and technological data in mathematical programming framework
- Spotlight abstraction in model checking real-time task schedulability
- Modeling and analysis of real-time systems with mutex components
- Quantifying chaos in stock markets before and during COVID-19 pandemic from the phase space reconstruction
- Programming Languages and Systems
- Title not available (Why is that?)
- Schedulability analysis of fixed-priority systems using timed automata
- Detecting chaos and predicting in Dow Jones Index
- Modeling Bitcoin contracts by timed automata
- 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
- Oris
- MARKAL
- Tools and Algorithms for the Construction and Analysis of Systems
- DLC
- LNT2LOTOS
- legOS
- LinMapTS
- XTL
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- From safety critical Java programs to timed process models
- 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
