Synthesis of Safety-Critical Real-Time Systems.

Bibliographic Details
Main Author: Zhou, Yuanbin.
Format: eBook
Language:English
Published: Linköping : Linkopings Universitet, 2022.
Edition:1st ed.
Series:Linköping Studies in Science and Technology. Dissertations Series
Subjects:
Online Access:Click to View