Sormenjälki
Sukella tutkimusaiheisiin 'Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.- Järjestys:
- Painoarvo
- Aakkosjärjestyksessä
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV
Viktor Shatrov, Valeriy Vyatkin
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu
1
Sitaatiot
(Scopus)
128
Lataukset
(Pure)