Affordable Access

Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems

Authors
Publisher
VDI-Verlag
Publication Date

Abstract

Publications mainResearchArea.mainResearchArea organisations[0].organisation.id organisations[0].organisation.organisation organisations[1].organisation.id organisations[1].organisation.organisation externalPublication persons[0].person.id persons[0].person.employeeId persons[0].personRole persons[0].firstName persons[0].lastName persons[0].organisations persons[1].personRole persons[1].firstName persons[1].lastName title owner.id owner.owner typeClassification.typeClassification publicationStatus.publicationStatus publicationDate.year uuid id created modified modifiedBy creator remoteOrigin keywordGroups[0].logicalName keywordGroups[0.0].freeKeywords[da_DK] sourceLicensesDismissed Source: orbit visibility language.language acceptedDuplicate submissionYear publicationCategory.publicationCategory peerReview workflowInformations[0] markedForRevalidation publisher.id publisher.name hostPublicationTitle event.id event.event Technical/natural sciences 4657 Computer Science and Engineering - Former organisational unit. 31/12/12. 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science 2202135 853 Author Anne Elisabeth Haxthausen Computer Science and Engineering, Department of Informatics and Mathematical Modeling Author J. Peleska Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science Article in proceedings Published 2000 a834d303-3f38-4f3e-a55b-ed4d7fa6887b 2841081 2/26/12 2/26/12 soeren soeren keywordContainers 176486 FREE English 2000 Research validated 2841077 VDI-Verlag Forms '99 Formale Techniken für die Eisenbahnsicherung 2841072 Forms '99 Formale Techniken für die Eisenbahnsicherung :

There are no comments yet on this publication. Be the first to share your thoughts.