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

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

author

Ashraf, Kanwal

Le Moullec, Yannick

Pardy, Tamas

Rang, Toomas

statement of authorship

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

source

Microprocessors and microsystems

publisher

Elsevier

journal volume number month

vol. 97

year of publication

2023

pages

art. 104780, 14 p. : ill

url

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

subject term

juhtimissüsteemid

formaalsed meetodid (informaatika)

biosüsteemid

keyword

Cyber Bio-analytical Physical Systems (CBPSs)

Wireless networked control systems

Formal methods

Formal verification

Biochemical analysis

Biological system modeling

ISSN

0141-9331

notes

Bibliogr.: 52 ref

scientific publication

teaduspublikatsioon

classifier

1.1

TTÜ department

Thomas Johann Seebecki elektroonikainstituut

keemia ja biotehnoloogia instituut

language

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