TRain: The railway domain: A "grand challenge" for computing science & transportation engineering

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 607-611

  Bjørner, Dines ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Domain theory; Formal methods; Grand challenge; Railways

Indexed keywords

CIVIL ENGINEERING; FORMAL METHODS;

COMPUTING SCIENCE; DOMAIN THEORY; GRAND CHALLENGE; RAILWAYS; TRANSPORTATION ENGINEERING;

RAILROADS;

EID: 84864338654     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (0)