Concepedia

Boštjan Vlaovič

BV

Statistics

Publications

2

Citations

23

H-Index

2

Active since

2006

Affiliations

University of Maribor(Current)

Boštjan Vlaovič is an author at University of Maribor specializing in engineering, formal methods, and computer engineering.

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