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

teaduspublikatsioon

klassifikaator

1.1

TTÜ struktuuriüksus

Thomas Johann Seebecki elektroonikainstituut

keemia ja biotehnoloogia instituut

keel

inglise

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