Вы здесь

Главная

Yi W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems 2004 Amnell T., Fersman E., Mokrushin L., Pettersson P., Yi W. Lecture Notes in Computer Science 03.06.2004
СТ Unification & Sharing in Timed Automata Verification 2003 David A., Behrmann G., Larsen K. G., Yi W. Lecture Notes in Computer Science 29.05.2003
СТ Formal Verification Of UML Statecharts with Real-Time Extensions 2002 David A., Moller M. O., Yi W. Lecture Notes in Computer Science 15.05.2002
СТ Axiomatising Timed Automata 2002 Lin H., Yi W. Acta Informatica 23.02.2002
СТ UPPAAL - Now, Next, and Future 2001 Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. Lecture Notes in Computer Science 04.11.2001
СТ A Real-Time Animator for Hybrid Systems 2001 Amnell T., David A., Yi W. Lecture Notes in Computer Science 11.04.2001
СТ Model-Checking for Real-Time Systems 1995 Larsen K. G., Pettersson P., Yi W. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes 1994 Yi W., Jonsson B. Lecture Notes in Computer Science 11.01.1995
СТ Testing and Refinement for Nondeterministic and Probabilistic Processes 1994 Jonsson B., Ho-Stuart C., Yi W. Lecture Notes in Computer Science 19.10.1994
СТ Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information 1994 Yi W. Lecture Notes in Computer Science 19.10.1994
СТ CCS+Time= an Interleaving Model for Real Time Systems 1991 Yi W. Lecture Notes in Computer Science 12.09.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday 2021 Lecture Notes in Computer Science
  1. Olderog E. -R.
  2. Steffen B.
  3. Yi W.
 20.12.2021
СБ Dependable Software Engineering: Theories, Tools, and Applications: Proc./1st International Symposium, SETTA 2015, Nanjing, China, November 2015 2015 Lecture Notes in Computer Science
  1. Li X.
  2. Liu Z.
  3. Yi W.
 01.12.2015
СБ Formal Modeling and Analysis of Timed Systems: Proc./Third International Conference, FORMATS 2005. Uppsala, Sweden, September 2005 2006 Lecture Notes in Computer Science
  1. Petterson P.
  2. Yi W.
 16.03.2006
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./ 7th International Conference,TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2001. Genova,Italy,April 2001 2001 Lecture Notes in Computer Science
  1. Margaria T.
  2. Yi W.
 08.05.2001