Model checking techniques have often been applied to the verification of railway interlocking systems, responsible for guiding trains safely through a given network. However, these fail scale systems controlling large stations, composed hundreds and even thousands controlled entities, due state space explosion problem. Indeed, exhibit certain degree locality that allows some reasoning only on m...

Acrylonitrile-butadiene-styrene (ABS plastic) is one of the most widely used thermoplastic resins for electroplating. In electroplating, a glossing metallic layer coated on ABS plastic surface. Yet, electroplated coating has poor adhesion to plastics. Thus, polymer producers strive develop more adhesive electroplating grades plastic. Unfortunately, there no reliable method quantify chemistry-in...

Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an objectoriented method for the specification of interlocking logics.

Anterior tibial pseudoaneurysm is a rare complication after interlocking screw insertion in tibial nailing. We present the case of a 28-year-old male patient with this complication with a 6-week delay after tibial nailing of a right tibial fracture type 42-A1 of the Association for the Study of Internal Fixation (AO/ASIF) classification. On presentation to our emergency department, the patient'...