8601. Applying automated model extraction for simulation and verification of real-life SDL specification with spinBoštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, 2017 Ključne besede: formal specifications, automated extraction, formal languages, simulation, formal verification, model cheking, SDL, Promela, SpinRCP, Sdl2pml Objavljeno v DKUM: 03.08.2017; Ogledov: 1537; Prenosov: 495
Celotno besedilo (13,46 MB) Gradivo ima več datotek! Več...
|
8602. |
8603. |
8604. |
8605. |
8606. |
8607. |
8608. |
8609. Analysis of the effect of the swirl flow intensity on combustion characteristics in liquid fuel powered confined swirling flamesMarko Klančišar, Tim Schloen, Matjaž Hriberšek, Niko Samec, 2016 Ključne besede: CFD, fluid dispersion, combustion, industrial burner, confined swirling flame, two-phase flow Objavljeno v DKUM: 04.08.2017; Ogledov: 1634; Prenosov: 425
Celotno besedilo (1,08 MB) Gradivo ima več datotek! Več...
|
8610. |