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...
25 декабря 1925 года
родился (одна из вероятных дат рождения) Хуан Карлос Кастанеда (Juan Carlos Castaneda), американский писатель и мистик (умер в 1998г.).