Concepedia

Aleksander Vreže

AV

Statistics

Publications

2

Citations

23

H-Index

2

Active since

2006

Affiliations

University of Maribor(Current)

Aleksander Vreže is an author at University of Maribor specializing in formal methods, software engineering, and software analysis.

Top concepts

EngineeringFormal MethodsSoftware AnalysisComputer EngineeringSoftware EngineeringModeling And SimulationSimulationData ModelingSoftware DesignComputer Science

Publications per year

2006–2008

2

Publications

2

Automated generation of Promela model from SDL specification

Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik et al. · Computer Standards & Interfaces · 2006 · 13 citations

Promela Model, Specification Language, Engineering +11

Sdl2pml — Tool for automated generation of Promela model from SDL specification

Aleksander Vreže, Boštjan Vlaovič, Zmago Brezočnik · Computer Standards & Interfaces · 2008 · 10 citations

Promela Model, Model-based System Engineering, Engineering +12

1–2 of 2