toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages Links
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design 2001 High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on IEEE Computer Society 0-7695-1275-5 10.1109/HASE.2001.966821 209-219 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: