Yassine Lakhnech · 4 obras en el catálogoObrasConcurrency verificationFrom Programs to Systems - The Systems Perspective in ComputingFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant SystemsSSpecification and verification of hybrid and real time systeSpecification and verification of hybrid and real time systems
SSpecification and verification of hybrid and real time systeSpecification and verification of hybrid and real time systems
