Slika na naslovnici

QR koda

A tool for service-driven protocol synthesis /

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Kapus-Kolar, Monika. (Author)
Format:	Book Chapter
Jezik:	English
Sorodne knjige/članki:	Vsebovano v: Zbornik druge Elektrotehniške in računalniške konference ERK '93, 27. - 29. september 1993, Portorož, Slovenija
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

More flexible parameter handling in service-driven protocol synthesis /
od: Kapus-Kolar, Monika., et al.

A Protocol derivation tool for services supporting mobile users /
od: Kapus-Kolar, Monika.

A method for synthesis of service/protocol pairs without overspecification = Une méthode de synthèse des couples service/protocole sans surspécification /
od: Kapus-Kolar, Monika.

Deriving protocols for mobil service users /
od: Kapus-Kolar, Monika.

On context-sensitive service-based protocol derivation /
od: Kapus-Kolar, Monika.

Derivation of protocols implementing services with event priorities /
od: Kapus-Kolar, Monika.

Deriving protocols from services in the finite state machine representation /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications including parameters /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications including multirendezvous /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications with heterogeneous timing requirements /
od: Kapus-Kolar, Monika.

Bottom-up implementation of new services using protocol derivation algorithms /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications /
od: Kapus-Kolar, Monika., et al.

Service-based protocol derivation using algorithms for distributed implementation of sequential programs /
od: Kapus-Kolar, Monika.

Automated derivation of protocols implementing Inteligent Network services /
od: Pučko, M., et al.

Constructing multicasting communications protocols /
od: Kapus-Kolar, Monika.

Deriving protocols with group addressing /
od: Kapus-Kolar, Monika.

Development of intelligent network services using algebraic service and protocol specification /
od: Frey-Pučko, Marjeta., et al.

Constructing communication protocols on priority channels /
od: Kapus-Kolar, Monika.

Deriving protocol specifications from service specifications with simple relative timing requirements /
od: Kapus-Kolar, Monika., et al.

A new method for costruction of communication protocols on non-ideal channels /
od: Kapus-Kolar, Monika.

Constructing real-time multi channel protocols /
od: Kapus-Kolar, Monika.

A new construction method for multi-party synchronous-asynchronous communication protocols /
od: Kapus-Kolar, Monika.

On constructing protocol derivation algorithms for LOTOS-like languages /
od: Kapus-Kolar, Monika.

Automated derivation of protocols handling distributed virtual queues /
od: Kapus-Kolar, Monika.

GSM switching, services and protocols /
od: Eberspächer, Jörg., et al.
Izdano: (1998)

NGN architectures, protocols, and services /
od: Janevski, Toni.
Izdano: (2014)

Construction of logically correct communication protocols without over-specification /
od: Kapus-Kolar, Monika.

Constructing communication protocols on reliable bounded FIFO channels with- out overspecification /
od: Kapus-Kolar, Monika.

A tool support for model-driven development an industrial case study from a measurement domain /
od: Kos, Tomaž, 1983-, računaln., et al.

The new Internet Protocol overview /
od: Brezočnik, Zmago., et al.

New results on deriving specifications from service specifications /
od: Kapus-Kolar, Monika.

Windows Server 2008 TCP/IP Protocols and Services /
od: Davies, Joseph Glenn, 1962-
Izdano: (2008)

Verifying a Bounded Retransmission Protocol using VIS /
od: Meolic, Robert., et al.

A DVD presentation for the support of teaching telecommunications protocols /
od: Kruščič, Andrej., et al.

Exploring properties of a bounded retransmission protocol with VIS /
od: Meolic, Robert., et al.

Quality of service driven autonomous supply chain management
od: Milić, Bojan, informatik., et al.

A multimedia presentation for the support of teaching telecommunications protocols /
od: Kruščič, Andrej., et al.

Teaching brave, yet critical use of formal description techniques: the case of computer tools for distributed systems design /
od: Kapus-Kolar, Monika.

Telecommunications protocols /
od: Russell, Travis.
Izdano: (1997)

Biomembrane Protocols.
Izdano: (1994)