scientific article; zbMATH DE number 177523
From MaRDI portal
Publication:4037392
Recommendations
Cited in
(20)- Synthesis of communicating process skeletons from temporal-spatial logic specifications
- Synthesizing synchronous systems by static scheduling in space-time
- A theory of timed automata
- Automatic synthesis of a subclass of schedulers in timed systems.
- On control of systems modelled as deterministic Rabin automata
- A transformation-based synthesis of temporal specification
- Distributed synthesis for regular and contextfree specifications
- Synthesis for continuous time
- scientific article; zbMATH DE number 1729260 (Why is no real title available?)
- scientific article; zbMATH DE number 2088657 (Why is no real title available?)
- scientific article; zbMATH DE number 5149070 (Why is no real title available?)
- Synthesis of large dynamic concurrent programs from dynamic specifications
- On Scheduling Policies for Streams of Structured Jobs
- scientific article; zbMATH DE number 177246 (Why is no real title available?)
- Synthesis from scenario-based specifications
- scientific article; zbMATH DE number 2081041 (Why is no real title available?)
- scientific article; zbMATH DE number 1497853 (Why is no real title available?)
- scientific article; zbMATH DE number 2112980 (Why is no real title available?)
- From the Specification to the Scheduling of Time-Dependent Systems
- Synthesis for temporal logic over the reals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037392)
