Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Icyegeranyo

Uburenganzira:
2020 Springer

Amakuru arambuye y’igitabo

Umwimerere w’Igitabo:
ISBN-13:
9783030576288
Utangaza:
Springer International Publishing
Itariki y’inyongera:
Language:
English
Ibyiciro:
Computers and Internet, Nonfiction,
Ibyo utemerewe kuyikoresha:
This is a copyrighted book.