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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/15552
https://www.scopus.com/record/display.uri?eid=2-s2.0-85147544594&origin=inward&txGid=6cfbe8c8a71706ea4995d209ff351a9a
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:000931975600001
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
Computer science. Software
Arvutiteadus. Tarkvara
Computer science. Artificial intelligence
Arvutiteadus. Tehisintellekt
quartile
Q2
TalTech department
Thomas Johann Seebecki elektroonikainstituut
keemia ja biotehnoloogia instituut
language
inglise
Reserch Group
Cognitronic lab-on-a-chip research group
Research laboratory for cognitronics