|
СТ |
Composing Specifications Using Communication |
2003 |
Treharne H., Schneider S., Bramble M. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Communicating B Machines |
2002 |
Schneider S., Treharne H. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Using a Process Algebra to control B OPERATIONS |
1999 |
Treharne H., Schneider S. |
|
|
|
IFM 99 |
31.01.2001 |
|
СТ |
Abstraction and Testing |
1999 |
Schneider S. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Test Case Preparation Using a Prototype |
1998 |
Treharne H., Draper J., Schneider S. |
|
|
|
Lecture Notes in Computer Science |
17.06.1998 |
|
СТ |
The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover |
1995 |
Schneider S., Chen V., Steele J., Pardo-Castellote G. |
|
|
|
SIGPLAN Notices |
25.12.1995 |
|
СТ |
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 |
|
СТ |
Timewise Refinement for Communicating Processes |
1994 |
Schneider S. |
|
|
|
Lecture Notes in Computer Science |
28.06.1994 |
|
СТ |
Using CSP to Verify a Timed Protocol over a Fair Medium |
1992 |
Davies J., Schneider S. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
П |
Networked Information Technology and the Transition to Retirement |
1991 |
Bikson T. K., Goodchilds J. D., Huddy L., Eveland J. D., Schneider S. |
|
|
RAND |
|
31.03.1992 |
