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 Keywords: formal specifications, automated extraction, formal languages, simulation, formal verification, model cheking, SDL, Promela, SpinRCP, Sdl2pml Published in DKUM: 03.08.2017; Views: 1537; Downloads: 495
Full text (13,46 MB) This document has many files! More...
|
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 Keywords: CFD, fluid dispersion, combustion, industrial burner, confined swirling flame, two-phase flow Published in DKUM: 04.08.2017; Views: 1634; Downloads: 425
Full text (1,08 MB) This document has many files! More...
|
8610. |