Formal Specification and Verification of Railway Systems Using UML

Kevin Lano, Kelly Androutsopoulos, David Clark

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationUnknown
PublisherUnknown Publisher
ISBN (Print)963 9457 450
Publication statusPublished - 2003
EventFormal Methods for Railway Operation and Control Systems Workshop - Budapest
Duration: 1 Jan 2003 → …

Conference

ConferenceFormal Methods for Railway Operation and Control Systems Workshop
CityBudapest
Period1/01/2003 → …

Cite this