Вы здесь

Kirsch C. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Giotto-Based Helicopter Control System 2002 Kirsch C. M., Savido M.A. A., Henzinger T. A., Pree W. Lecture Notes in Computer Science 11.11.2002
СТ Principles of Real-Time Programing 2002 Kirsch C. M. Lecture Notes in Computer Science 11.11.2002
СТ Time-Safety Checking for Embedded Programs 2002 Henzinger T. A., Kirsch C. M., Majumdar R., Matic S. Lecture Notes in Computer Science 11.11.2002
СТ Giotto: A Time-Triggered Language for Embedded Programming 2001 Henzinger T. A., Horowitz B., Kirsch C. M. Lecture Notes in Computer Science 03.11.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Embedded Software: Proc./First Intern. Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 2001 2001 Lecture Notes in Computer Science
  1. Henzinger T. A.
  2. Kirsch C. M.
03.11.2001