Вы здесь

Paige R. F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Design of a Tool-Supported Graphical Notation for Timed CSP 2002 Brooke P. J., Paige R. F. Lecture Notes in Computer Science 21.06.2002
СТ Metamodeling and Conformance Checking with PVS 2001 Paige R. F., Ostroff J. S. Lecture Notes in Computer Science 05.05.2001
СТ A Comparison of the Business Object Notation and the Unified Modeling Language 1999 Paige R. F., Ostroff J. S. Lecture Notes in Computer Science 05.11.1999
СТ Bunches for Object-Oriented, Concurrent, and Real-Time Specification 1999 Paige R. F., Hehner E.C. R. Lecture Notes in Computer Science 30.10.1999
СТ Integrating a Program Design Calculus and a Subset of UML 1999 Paige R. F. The Computer Journal 20.08.1999
СТ Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space 1998 Paige R. F. Lecture Notes in Computer Science 08.12.1998