Вы здесь

Utting M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Faster Analysis of Formal Specifications 2004 Bouquet F., Legeard B., Utting M., Vacelet N. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005
СТ Object Orientation without Extending Z 2003 Utting M., Wang S. Lecture Notes in Computer Science 20.06.2003
СТ ZML: XML Support for Standard Z 2003 Utting M., Toyn I., Sun J., Martin A., Dong J. S., Daley N., Currie D. Lecture Notes in Computer Science 20.06.2003
СТ A Comparison of the BTT and TTF Test-Generation Methods 2002 Legeard B., Peureux F., Utting M. Lecture Notes in Computer Science 02.03.2002
СТ A Formal Method for Building Concurrent Real-Time Software 1997 Fidge C., Kearney P., Utting M. Software 26.04.1997
СТ Interactively Verifying a Simple Real-time Scheduler 1995 Fidge C., Kearney P., Utting M. Lecture Notes in Computer Science 27.07.1995
СТ A Layered Real-Time Specification of a RISC Processor 1994 Kearney P., Utting M. Lecture Notes in Computer Science 19.10.1994
СТ Modular Reasoning in an Object-Oriented Refinement Calculus 1993 Utting M., Robinson K. Lecture Notes in Computer Science 29.04.1993