- Tytuł:
- Interrupt Timed Automata with Auxiliary Clocks and Parameters
- Autorzy:
-
Bérard, B.
Jovanović, A.
Haddad, S.
Lime, D. - Data publikacji:
- 2016
- Słowa kluczowe:
-
machine theory
parameter estimation
problem solving
robust control
mathematical models - Pokaż więcej
- Dostawca treści:
- BazTech