flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
New Search Save Search Refine Search
Results
author = "Zahradník, Jiří"
1

Found 7 documents, displaying page 1 of 1

Problémy súvisiace s používaním niektorých pojmov pri analýze bezporuchovosti systémov Problems related to use of some terms in system reliability analysis

Author(s) : Hanusová, Naděžda , Zahradník, Jiří
Description :
Repository : DSpace VŠB-TUO
Language(s) : Slovak

Informačný prístup k analýze bezpečnosti zabezpečovacích systémov Information approach to safety analysis of signalling systems

Author(s) : Hanusová, Naděžda , Zahradník, Jiří
Description :
Repository : DSpace VŠB-TUO
Language(s) : Slovak

System failure rate calculation

Author(s) : Hanusová, Naděžda , Zahradník, Jiří
Description : The article deals with methodology of a system failure rate calculation that is based on the adoption of the condition l.t<<1. Assuming that the condition is satisfied, the serial-parallel system failure rate calculation is easier and the results are either the same or worse from a view of system re...
Repository : DSpace VŠB-TUO
Language(s) : English

Formal specification in “Z” Language by software Z/EVES

Author(s) : Švec, J. , Zahradník, Jiří
Description : The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification “Z” language and software Z/EVES.
Repository : DSpace VŠB-TUO
Language(s) : English

Safety of transport process

Author(s) : Zahradník, Jiří , Janota, Aleš
Description : The paper deals with formulation of general rules and principles needed for ensuring safety of the transport process.
Repository : DSpace VŠB-TUO
Language(s) : English

Radiace a informačne systémy Control and information systems

Author(s) : Zahradník, Jiří , Rástočný, Karol , Spalek, Juraj
Description :
Repository : DSpace VŠB-TUO
Language(s) : Slovak

Použitie UML na vývoj železničného zabezpečovacieho systému The use of UML to development of a railway interlocking system

Author(s) : Rástočný, Karol , Janota, Aleš , Zahradník, Jiří
Description :
Repository : DSpace VŠB-TUO
Language(s) : Slovak
1

Found 7 documents, displaying page 1 of 1