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
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
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
kvartiil
Q2
TTÜ struktuuriüksus
Thomas Johann Seebecki elektroonikainstituut
keemia ja biotehnoloogia instituut
keel
inglise
Uurimisrühm
Kognitiivelektroonika kiiplaborite uurimisgrupp
Kognitroonika teaduslabor