|
СТ |
Service-Based Systems Engineering: Consistent Combination of Services |
2003 |
Schatz B., Salzmann C. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
Model-Based Development of Embedded Systems |
2002 |
Schatz B., Pretschner A., Huber F., Philipps J. |
|
|
|
Lecture Notes in Computer Science |
27.09.2002 |
|
СТ |
Consistent Integration of Formal Methods |
2000 |
Braun P., Lotzbeyer H., Schatz B., Slotosch O. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Integrating Formal Description Techniques |
1999 |
Schatz B., Huber F. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Digital Libraries: Technological Advances and Social Impacts |
1999 |
Schatz B., Chen H. |
|
|
|
Computer |
10.04.1999 |
|
СТ |
Federated Search of Scientific Literature |
1999 |
Schatz B., Mischo W., Cole T., Bishop A., Harum S., Johnson E., Neumann L., Chen H., Ng D. |
|
|
|
Computer |
10.04.1999 |
|
П |
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems |
1994 |
Broy M., Funchs M., Gritzner T. F., Schatz B., Spies K., Stolen K. |
|
|
TUM |
|
05.07.1995 |
