Login / Signup
Stanimir N. Pehlivanov
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Complex Systems
Asynchronous Circuits
Web Browser
Top Venues
NiM-ALP@MoDELS
</>
Publications
</>
Radu Calinescu
,
Kenneth Johnson
,
Yasmin Rafiq
,
Simos Gerasimou
,
Gabriel Costa Silva
,
Stanimir N. Pehlivanov
Continual Verification of Non-Functional Properties in Cloud-Based Systems.
NiM-ALP@MoDELS
(2013)