This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalis...
29 июля 1918 года
родился Владимир Дмитриевич Дудинцев (ум. 1998), писатель, лауреат Государственной премии СССР (1988) («Не хлебом единым», «Белые одежды»).