Implementation of an efficient verification method for finite stae programs.

Download

Date

1992

Author

Haghverdi, Esfandiar

Metadata

Show full item record

Item Usage Stats

URI

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

Collections

Suggestions

Implementation of a generalized finite element program for hyperelastic materials. Soyarslan, Celal; Akyüz, Uğurhan; Department of Civil Engineering (2002)
Implementation of a standard virtual terminal protocol. Ekinci, Orkun; Bilgen, Semih; Department of Electrical and Electronics Engineering (1988)
Implementation of an algorithm for a petri net-based design inference network Güroğlu, Serkan; Erden, Abdülkadir; Department of Mechanical Engineering (1999)
Implementation of the entity relationship algebra for the general entity relatonship model Top, Asuman; Doğaç, Asuman; Department of Computer Engineering (1988)
Implementation and evaluation of a synchronous time-slotted medium access protocol for networked industrial embedded systems Gözcü, Ahmet Korhan; Schmidt, Şenan Ece; Department of Electrical and Electronics Engineering (2011) Dynamic Distributed Dependable Real-time Industrial communication Protocol family (D3RIP), has been proposed in the literature considering the periodic or event-based traffic characteristics of the industrial communication networks. D3RIP framework consists of two protocol families: Interface Layer (IL) protocol family, which is responsible for providing the accurate time-division multiple access (TDMA) on top of a shared-medium broadcast channel, and Coordination Layer (CL), which is defined to fulfill the...

Citation Formats

E. Haghverdi, “Implementation of an efficient verification method for finite stae programs.,” Middle East Technical University, 1992.