Towards unified compositional design of control systems

Vain, J.; Kääramees, M. (2000). Towards unified compositional design of control systems. 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control AARTC'2000: Preprints, Palma de Mallorca, Spain, 15-17 May, 2000. Ed. Hernandez,V.; [et al.]. 41−46.
publitseeritud konverentsiettekanne
Vain, J.; Kääramees, M.
  • Inglise
6th IFAC Workshop on Algorithms and Architectures for Real-Time Control AARTC'2000
Hernandez,V.; [et al.]
Preprints, Palma de Mallorca, Spain, 15-17 May, 2000
2000
4146
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo

compositional verification, correctness, dependability, design specification, generic component, hybrid dynamics