Search
Now showing items 1-3 of 3
Probabilistic model checking for comparative analysis of automated air traffic control systems
Publisher: IEEE
Year: 2014
SocAware: A Middleware for Social Applications in Online Social Networks
Publisher: IEEE
Year: 2014
Adaptive sliding mode control for the speed regulation of PMSMs with load change
Publisher: IEEE
Year: 2014