2 كتب إلكترونية بواسطة Eugene Asarin
Eugene Asarin & Patricia Bouyer: Formal Modeling and Analysis of Timed Systems
This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aim …
PDF
الإنجليزية
DRM
€57.88
