Towards unified compositional design of control systems

Vain, Jüri; Kääramees, Marko (2000). Towards unified compositional design of control systems. Algorithms and Architectures for Real-Time Control 2000 (AARTC '2000) : A proceedings volume from the 6th IFAC Workshop, Palma de Mallorca, Spain, 15-17 May 2000. Ed. Hernandez, V.; Irwin, G.W. Oxford: Pergamon, 45−50. (IFAC Proceedings Volumes; 33-6).10.1016/S1474-6670(17)35446-0.
publitseeritud konverentsiettekanne
Vain, Jüri; Kääramees, Marko
  • Inglise
Algorithms and Architectures for Real-Time Control 2000 (AARTC '2000) : A proceedings volume from the 6th IFAC Workshop, Palma de Mallorca, Spain, 15-17 May 2000
Hernandez, V.; Irwin, G.W.
Oxford
Pergamon
0-08-043685-4
IFAC Proceedings Volumes
33-6
2000
4550
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1016/S1474-6670(17)35446-0

Lisainfo

compositional verification, correctness, dependability, design specification, generic component, hybrid dynamics
ISI Proceedings; Inspec jt