Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Sankaranarayanan, Sriram; Vicario, Enrico (Cham : Springer International Publishing, 2015)
Keywords: Computer science; Software engineering; Computers; Computer logic; Mathematical logic; Application software