2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems
Latest Publications

TOTAL DOCUMENTS

56
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

9781467309127, 9780769546643
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification

2012 ◽  
Author(s):  
Vladimir Zlokolica ◽  
Nebojsa Milutinovic ◽  
Vladimir Marinkovic ◽  
Vukota Pekovic ◽  
Jan Zloh
Keyword(s):  
Functional Verification ◽  
Set Top Box ◽  
Navigation Scheme

Modeling and Verifying the Ariadne Protocol Using CSP

2012 ◽  
Author(s):  
Xi Wu ◽  
Si Liu ◽  
Huibiao Zhu ◽  
Yongxin Zhao ◽  
Lei Chen

Analyzing the Complexity of Domain Model Representations

2012 ◽  
Author(s):  
Andrea Leitner ◽  
Reinhold Weiß ◽  
Christian Kreiner
Keyword(s):  
Domain Model

A Way towards Efficiency of SCADA Infrastructure

2012 ◽  
Author(s):  
Branislav Atlagic ◽  
Mihaly Sagi ◽  
Dejan Milinkov ◽  
Bojan Bogovac ◽  
Stanko Culaja

Route Separation Strategies for Human Movement Datasets

2012 ◽  
Author(s):  
Marcell Feher ◽  
Krisztian Fekete ◽  
Kristof Csorba ◽  
Bertalan Forstner
Keyword(s):  
Human Movement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document