Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  101 results for ""verification""

Your Filters

Collection : Periodica Polytechnica (Budapest University Of Technology And Economics)
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study

Subjects: verification; model checking; computation tree logic

  • Source: Periodica Polytechnica Transportation Engineering; Vol. 52 No. 4 (2024); 402-411 ; 1587-3811 ; 0303-7800

Record details

Read More Add to Saved list
×
Academic Journal

The Verification of Rail Thermal Stress Measurement System

Subjects: system verification; continuous welded rail; thermal stress

  • Source: Periodica Polytechnica Transportation Engineering; Vol. 48 No. 1 (2020); 45-51 ; 1587-3811 ; 0303-7800

Record details

Read More Add to Saved list
×
Academic Journal

The Verification of Rail Thermal Stress Measurement System

Subjects: system verification; continuous welded rail; thermal stress

  • Source: Periodica Polytechnica Transportation Engineering; Vol. 48 No. 1 (2020); 45-51 ; 1587-3811 ; 0303-7800

Record details

Read More Add to Saved list
×
Academic Journal

Verification Stability of Anion-Exchange Membrane with Surface Modification with Application in Electrodialysis Process

Subjects: anion-exchange membrane; surface modification; graft polymerization

  • Source: Periodica Polytechnica Chemical Engineering; Vol. 63 No. 1 (2019); 51-56 ; 1587-3765 ; 0324-5853

Record details

Read More Add to Saved list
×
Academic Journal

PLC Program Translation for Verification Purposes

Subjects: PLC; programming languages; formal verification

  • Source: Periodica Polytechnica Electrical Engineering and Computer Science; Vol. 61 No. 2 (2017); 151-165 ; 2064-5279 ; 2064-5260

Record details

Read More Add to Saved list
×
Academic Journal

An Investigation of the Impact of Forming Process Parameters in Single Point Incremental Forming Using Experimental and Numerical Verification

Subjects: SPIF; forming force; ANSYS

  • Source: Periodica Polytechnica Mechanical Engineering; Vol. 66 No. 3 (2022); 183-196 ; 1587-379X ; 0324-6051

Record details

Read More Add to Saved list
×
Academic Journal

An Investigation of the Impact of Forming Process Parameters in Single Point Incremental Forming Using Experimental and Numerical Verification

Subjects: SPIF; forming force; ANSYS

  • Source: Periodica Polytechnica Mechanical Engineering; Vol. 66 No. 3 (2022); 183-196 ; 1587-379X ; 0324-6051

Record details

Read More Add to Saved list
×
Academic Journal

Formal verification of secure ad-hoc network routing protocols using deductive model-checking

Subjects: formal verification; routing protocol; security

  • Source: Periodica Polytechnica Electrical Engineering (Archives); Vol. 55 No. 1-2 (2011); 31-43 ; 1587-3781 ; 0324-6000

Record details

Read More Add to Saved list
×
Academic Journal

Verification of the Stormwater Drainage System Overloads in Wrocław for an Assessment of Climate Change Effects

Subjects: urban hydrology; rainwater; hydrodynamic modelling

  • Source: Periodica Polytechnica Civil Engineering; Vol. 63 No. 2 (2019); 641-646 ; 1587-3773 ; 0553-6626

Record details

Read More Add to Saved list
×
Academic Journal

Verification of the Stormwater Drainage System Overloads in Wrocław for an Assessment of Climate Change Effects

Subjects: urban hydrology; rainwater; hydrodynamic modelling

  • Source: Periodica Polytechnica Civil Engineering; Vol. 63 No. 2 (2019); 641-646 ; 1587-3773 ; 0553-6626

Record details

Read More Add to Saved list
×
  • 1-10 of  101 results for ""verification""