Вы здесь

Главная

Butler M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Operational Semantics for StAC, a Language for Modeling Long-Running Business Transactions 2004 Butler M., Ferreira C. Lecture Notes in Computer Science 17.03.2004
СТ Using SPIN and STeP to Verify Business Processes Specifications 2003 Augusto J. C., Butler M., Ferreira C., Craig S. -J. Lecture Notes in Computer Science 18.02.2004
СТ Using B Refinement to Analyse Compensating Business Processes 2003 Ferreira C., Butler M. Lecture Notes in Computer Science 20.06.2003
СТ An Approach to Combining B and Alloy 2002 Mikhailov L., Butler M. Lecture Notes in Computer Science 02.03.2002
СТ A Generic Model for Assessing Process Quality 2001 Satpathy M., Harrison R., Snook C., Butler M. Lecture Notes in Computer Science 05.04.2001
СТ A Process Compensation Language 2000 Butler M., Ferreira C. Lecture Notes in Computer Science 30.11.2000
СТ Performing Algorithmic Refinement before Data Refinement in B 2000 Butler M., Meagher M. Lecture Notes in Computer Science 21.10.2000
СТ Reasoning about Grover s Quantum Search Algorithm Using Probabilistic wp 1999 Butler M., Hartel P. ACM Trans. on Programming Languages and Systems 01.02.2000
СТ Fusion and Simultaneous Execution in the Refinement Calculus 1998 Back R. -J., Butler M. Acta Informatica 12.12.1998
СТ An Approach to the Design of Distributed Systems with B AMN 1997 Butler M. Lecture Notes in Computer Science 15.04.1997
СТ An Investigation of the Performance of Various Dynamic Scheduling Techniques 1992 Butler M., Patt Y. SIGMICRO Newsletter 13.03.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018 2018 Lecture Notes in Computer Science
  1. Butler M.
  2. Raschke A.
  3. Hoang T. S.
  4. Reichl K.
 18.06.2018
СБ Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016 2016 Lecture Notes in Computer Science
  1. Butler M.
  2. Schewe K. -D.
  3. Mashkoor A.
  4. Biro M.
 09.08.2016
СБ Formal Methods and Software Engineering: Proc./17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 2015 2015 Lecture Notes in Computer Science
  1. Butler M.
  2. Conchon S.
  3. Zaidi F.
 12.01.2016
СБ FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011 2011 Lecture Notes in Computer Science
  1. Butler M.
  2. Schulte W.
 30.08.2011
СБ Methods, Models and Tools for Fault Tolerance 2009 Lecture Notes in Computer Science
  1. Butler M.
  2. Jones C.
  3. Romanovsky A.
  4. Traubitsyna E.
 27.04.2010
СБ Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008 2008 Lecture Notes in Computer Science
  1. Boerger E.
  2. Butler M.
  3. Bowen J. P.
  4. Boca P.
 16.12.2008
СБ Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007 2007 Lecture Notes in Computer Science
  1. Butler M.
  2. Hinchey M. G.
  3. Larrondo-Petrie M. M.
 29.03.2008
СБ Rigorous Development of Complex Faul-Tolerant Systems 2006 Lecture Notes in Computer Science
  1. Butler M.
  2. Jones C.
  3. Romanovsky A.
  4. Troubitsyna E.
 10.02.2007
СБ Integrated Formal Methods: Proc./Third Intern. Conf., IFM 2002, Turku, Finland, May 2002 2002 Lecture Notes in Computer Science
  1. Butler M.
  2. Petre L.
  3. Sere K.
 21.06.2002