Вы здесь

Главная

Davies J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Activity Graphs and Processes 2000 Bolton C., Davies J. Lecture Notes in Computer Science 30.11.2000
СТ On the Refinement and Simulation of Data Types and Processes 1900 Bolton Ch., Davies J., Woodcock J. IFM 99 31.01.2001
СТ Refinement in Object-Z and CSP 2002 Bolton C., Davies J. Lecture Notes in Computer Science 21.06.2002
СТ Towards a denotational semantics for ET-LOTOS 1995 Bryans J., Davies J., Schneider S. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ Using CSP to Verify a Timed Protocol over a Fair Medium 1992 Davies J., Schneider S. Lecture Notes in Computer Science 16.10.1992
СТ Using State Diagrams to Desrcribe Concurrent Behaviour 2003 Davies J., Crichton C. Lecture Notes in Computer Science 09.01.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.I 1999 Lecture Notes in Computer Science
  1. Wing J. M.
  2. Woodcock J.
  3. Davies J.
 30.10.1999
СБ FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.II 1999 Lecture Notes in Computer Science
  1. Wing J. M.
  2. Woodcock J.
  3. Davies J.
 22.10.1999
СБ Formal Methods and Software Engineering: Proc./6th International Conference on Formal Engineering Methods, ICFEM 2004. Seattle, WA, USA, November 2004 2004 Lecture Notes in Computer Science
  1. Davies J.
  2. Shulte W.
  3. Barnett M.
 26.02.2005
СБ Formal Methods: Foundations and Applications: Revised Selected Papers/13th Brazilian Symposium on FM, SBMF 2010, Natal, Brazil, November 2010 2011 Lecture Notes in Computer Science
  1. Davies J.
  2. Silva L.
  3. Simao A.
 14.05.2011
СБ Integrated Formal Methods: Proc./6th International Conference, IFM 2007. Oxford, UK, July 2007 2007 Lecture Notes in Computer Science
  1. Davies J.
  2. Gibbons J.
 08.09.2007
СБ The Semantic Web: Research and Applications: Proc./First European Semantic Web Symposium,ESWS 2004.Heraklion,Grete,Greece,May 2004 2004 Lecture Notes in Computer Science
  1. Bussler Ch.
  2. Davies J.
  3. Fensel D.
  4. Studer R.
 16.06.2004