Вы здесь

Bordbar B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach 2005 Bordbar B., Okano K. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005
СТ Verification of Timeliness QoS Properties in Multimedia Systems 2003 Bordbar B., Okano K. Lecture Notes in Computer Science 09.01.2004
СТ A UML Approach to the Design of Open Distributed Systems 2002 Bordbar B., Derrick J., Waters G. Lecture Notes in Computer Science 20.11.2002
СТ On Querying UML Data Models with OCL 2001 Akehurst D. H., Bordbar B. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.10.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Modelling Foundations and Applications: Proc./7th European Conference, ECMFA 2011, Birmingham, UK, June 2011 2011 Lecture Notes in Computer Science
  1. France R. B.
  2. Kuester J. M.
  3. Bordbar B.
  4. Paige R. F.
30.08.2011