Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

  • Viorel Preoteasa
  • , Stavros Tripakis

Tutkimustuotos: TyöpaperiWorking paperProfessional

AlkuperäiskieliEnglanti
Sivut9
TilaJulkaistu - 2015
OKM-julkaisutyyppiD4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Julkaisusarja

NimiarXiv

Siteeraa tätä