European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University - European Rail Traffic Management System - Document - PDFSEARCH.IO

First Page	Meta Content
	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Document Date: 2014-08-04 10:07:21 Open Document File Size: 2,65 MB Share Result on Facebook City Rio de Janeiro / / Company Parametric Hybrid Systems / / Facility University Jan-David Quesel2 Mellon University / / Organization Department of Computing Science / University Jan-David Quesel2 Mellon University / Pittsburgh / / Person Jan-David Quesel / / Position Operation model / Radio Block Controller / / ProvinceOrState Pennsylvania / / RadioStation Radio Block Controller / / SocialTag Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory

European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 UniversityAdd to Reading List