Formal Method of Software Development or Railways
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21260%2F03%3A06094074" target="_blank" >RIV/68407700:21260/03:06094074 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Formální metody tvorby softwaru v železniční dopravě
Original language description
In this paper formal method of application software development for railways is described. Formal model in RAISE language for optimal planing in railways is shown. The maintenance routin of railways vehicle is used as an example.
Czech name
Formální metody tvorby softwaru v železniční dopravě
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2003
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
Infotrans 2003
ISBN
80-7194-530-7
ISSN
—
e-ISSN
—
Number of pages
1
Pages from-to
52-52
Publisher name
Universita Pardubice
Place of publication
Pardubice
Event location
Pardubice
Event date
Feb 12, 2003
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—