Ashraf, K., Le Moullec, Y., Pardy, T., Rang, T.

prindi

Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategies

autor

Ashraf, Kanwal

Le Moullec, Yannick

Pardy, Tamas

Rang, Toomas

vastutusandmed

Kanwal Ashraf, Yannick Le Moullec, Tamás Pardy, Toomas Rang

allikas

Microprocessors and microsystems

kirjastus/väljaandja

Elsevier

ajakirja aastakäik number kuu

vol. 97

ilmumisaasta

2023

leheküljed

art. 104780, 14 p. : ill

leitav

https://doi.org/10.1016/j.micpro.2023.104780

märksõna

juhtimissüsteemid

formaalsed meetodid (informaatika)

biosüsteemid

võtmesõna

Cyber Bio-analytical Physical Systems (CBPSs)

Wireless networked control systems

Formal methods

Formal verification

Biochemical analysis

Biological system modeling

ISSN

0141-9331

märkused

Bibliogr.: 52 ref

Open Access

teaduspublikatsioon

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

WOS

Journal metrics at WOS

Article at WOS

kategooria (üld)

Arvutiteadus

kategooria (alam)

Arvutiteadus. Arvutivõrgud ja side

Arvutiteadus. Riistvara ja arhitektuur

Arvutiteadus. Tarkvara

Arvutiteadus. Tehisintellekt

kvartiil

TTÜ struktuuriüksus

Thomas Johann Seebecki elektroonikainstituut

keemia ja biotehnoloogia instituut

keel

inglise

Uurimisrühm

Kognitiivelektroonika kiiplaborite uurimisgrupp

Kognitroonika teaduslabor

Ashraf, K., Le Moullec, Y., Pardy, T., Rang, T. Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategies // Microprocessors and microsystems (2023) vol. 97, art. 104780, 14 p. : ill. https://doi.org/10.1016/j.micpro.2023.104780