Reasoning About Identifier Spaces: How to Make Chord Correct von Zave, Pamela

Volltext

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings von Oliveira, José Nuno, Zave, Pamela

Volltext

Patterns and Interactions in Network Security von Zave, Pamela, Rexford, Jennifer

Volltext

Four dark corners of requirements engineering von Zave, Pamela, Jackson, Michael

Volltext

Distributed feature composition: a virtual architecture for telecommunications services von Jackson, M., Zave, P.

Volltext

Classification of research efforts in requirements engineering von Zave, Pamela

Volltext

A Verified Session Protocol for Dynamic Service Chaining von Zave, Pamela, Carvalho, Fabricio B., Ferreira, Ronaldo A., Rexford, Jennifer, Morimoto, Masaharu, Zou, Xuan Kelvin

Volltext

Compositional Binding in Network Domains von Zave, Pamela

Volltext

Matching and Merging of Variant Feature Specifications von Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.

Volltext

A Formal Model of Addressing for Interoperating Networks von Zave, Pamela

Volltext

Modeling the internet von Zave, Pamela

Volltext

Reasoning about identifier spaces: How to make Chord correct von Zave, Pamela

Volltext

Compositional Control of IP Media von Zave, P., Cheung, E.

Volltext

Address translation in telecommunication features von Zave, Pamela

Volltext

Validation of Formal Models: A Case Study von Zave, Pamela, Nelson, Tim

Volltext

Compositional Network Mobility von Zave, Pamela, Rexford, Jennifer

Volltext

A reference model for requirements and specifications von Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.

Volltext

Formal methods : State of the art and future directions von CLARKE, E. M, WING, J. M, HALL, A, HENZINGER, T, HOLZMANN, G, JONES, C, KURSHAN, R, LEVESON, N, MCMILLAN, K, MOORE, J, PELED, D, PNUELI, A, ALUR, R, RUSHBY, J, SHANKAR, N, SIFAKIS, J, SISTLA, P, STEFFEN, B, WOLPER, P, WING, J, WOODCOCK, J, ZAVE, P, CLARKE, E, CLEAVELAND, R, DILL, D, EMERSON, A, GARLAND, S, GERMAN, S, GUTTAG, J

Volltext

Understanding SIP through Model-Checking von Zave, Pamela

Volltext

Patterns and Interactions in Network Security von Zave, Pamela, Rexford, Jennifer

Volltext bestellen