نتایج جستجو برای: interlocking directorates

تعداد نتایج: 2780  

2009
Wolfgang Laun

This paper describes concepts being developed for processing events in a rule-based system, to be deployed in an embedded system that is part of a railway interlocking system, used as a safety-motivated secondary software channel. Events are either status notifications or operator commands, both of which operate on elements in a railway interlocking plant. It is shown that an object-oriented hi...

2015
Wasudeo Gadegone Vijayanand Lokhande

Pyle’s disease is a rare genetic skeletal disorder also known as Metaphyseal dysplasia. A case of 36 yrs old female with fracture supracondylar femur in Pyle’s disease is presented. She had mild facial dysmorphism, dental malformation & mild genu valgum. Skeletal radiology revealed the characteristic Erlenmeyer flask sign at distal femoral and proximal tibial metaphysis. The fracture supracondy...

2016
Jin Woong Yi Byung Hak Oh Sang-Bum Kim Youn Moo Heo Tae Gyun Kim Doo Hyun Kim You Sun Jung

Methods about removal of intramedullary nail in complicated cases were reported in some literatures but there are no reports about nail removal in the ulna. The authors would like to report such a case and the technique. We removed bone of the inlet site and created another bony window using an osteotome to expose the interlocking screw holes. Only a bony window the size of 2 inter-interlocking...

2013
Phillip James Andy Lawrence Faron Moller Markus Roggenbach Monika Seisenberger Anton Setzer Karim Kanso Simon Chadwick

We report on the inclusion of a formal method into a design process in industry. Concretely, we suggest carrying out a verification step in railway interlocking design between programming the interlocking and testing this program. Safety still relies on testing, but the burden of guaranteeing completeness and correctness of the verfication is in this way greatly reduced. We present a complete m...

Journal: :Quality in health care : QHC 1993
N Barber

Journal: :Journal of the American Medical Association 1910

Journal: :Coastal Engineering Proceedings 1964

Journal: :Journal of Institutional Economics 2010

Journal: :Medical Journal Armed Forces India 2005

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید