Formal Approach to Railway Applications
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21260%2F07%3A00137590" target="_blank" >RIV/68407700:21260/07:00137590 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Approach to Railway Applications
Original language description
This paper names railway applications, where the basis of stable, underlying railway formal domain models can be successfully used. It is done with big care of a uniform treatment of two diverse issues of railway system: Allocation & Scheduling and Monitoring & Control applications. This uniform treatment allows us later on better, easier and deeper integrations of these applications.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Formal Methods and Hybrid Real-Time Systems
ISBN
978-3-540-75220-2
ISSN
0302-9743
e-ISSN
—
Number of pages
17
Pages from-to
—
Publisher name
Springer
Place of publication
Berlin
Event location
Macao
Event date
Sep 24, 2007
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—