Formal methods for embedded distributed systems
Fabrice Kordon
Details
OL Work ID
OL19114328W
Subjects
Electronic data processing
Distributed processing
Embedded computer systems
Electronic data processing, distributed processing
Find this book
Open Library