Specification and verification of the Xpress Transport Protocol(XTP) using SDL 92

Download

068675.pdf

Date

1997

Author

Dalkıran, İsmail

Metadata

Show full item record

Item Usage Stats

76
views

0
downloads

URI

https://hdl.handle.net/11511/11214

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

Specification and verification of ISDN layer 2 using SDL 92 Çenberci, Doğuş; İnan, Kemal; Department of Electrical and Electronics Engineering (1997)
Specification and logical animation of the FDDI protocol using SDL Erşahin, Ali Rıza; İnan, Kemal; Department of Electrical and Electronics Engineering (1994)
Specification and documentation of conceptual scenarios using Base Object Models (BOMs) Siegfried, Robert; Oğuztüzün, Mehmet Halit S.; Durak, Umut; Hatip, Aylin; Herrmann, Günter; Gustavson, Paul; Hahn, Matthias (null; 2013-05-15) Scenarios play an important role in planning, engineering and executing a distributed simulation environment. During the simulation environment engineering process the operational scenarios provided by the user are refined into one or more conceptual scenarios and finally executable scenarios are derived which are used for initializing and stimulating participating simulation systems and other member applications. Conceptual scenarios provide the linking elements between operational scenarios and executable...
Specification and scheduling of workflows under resource allocation constraints Karagöz Şenkul, Pınar; Toroslu, İsmail Hakkı; Department of Computer Engineering (2003) Workflow is a collection of tasks organized to accomplish some business process. It also defines the order of task invocation or conditions under which task must be invoked, task synchronization, and information flow. Before the execution of the workflow, a correct execution schema, in other words, the schedule of the workflow, must be determined. Workflow scheduling is finding an execution sequence of tasks that obeys the business logic of workflow. Research on specification and scheduling of workflows has...
Design and implemetaiton of a microprocessor controlled image terminal. Bağören, İlhan; Department of Electrical Engineering (1984)

Citation Formats

İ. Dalkıran, “Specification and verification of the Xpress Transport Protocol(XTP) using SDL 92,” Middle East Technical University, 1997.