Login / Signup
Design of Cyber Bio-analytical Physical Systems: Formal methods, architectures, and multi-system interaction strategies.
Kanwal Ashraf
Yannick Le Moullec
Tamás Pardy
Toomas Rang
Published in:
Microprocess. Microsystems (2023)
Keyphrases
</>
formal methods
physical systems
knowledge based systems
case study
formal specification language
artificial intelligence
human computer interaction
fault isolation
design process
complex systems
life cycle
development lifecycle