The following pages link to Developments in Language Theory (Q5473678):
Displaying 7 items.
- Time-optimal control of large-scale systems of systems using compositional optimization (Q2177769) (← links)
- A Machine-Independent Characterization of Timed Languages (Q3167002) (← links)
- (Q4791839) (← links)
- Foundations of Software Science and Computation Structures (Q5308461) (← links)
- (Q5506370) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717492) (← links)
- Spiking neural networks modelled as timed automata: with parameter learning (Q6151163) (← links)