HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Academic

Papers
Analysis of the Acceptance and Use of e-Campus Based on the Unified Theory of Acceptance and Use of Technology (UTAUT) Approach at Pelita Bangsa University
Muhtajuddin Danny
EasyChair Preprint no. 4101
Benchmark Generator for Stratified Controllers of Tank Networks
Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T. Johnson
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis
Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability
Ibtissem Ben Makhlouf and Stefan Kowalewski
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)
Luan Viet Nguyen and Taylor T. Johnson
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Ibtissem Ben Makhlouf and Stefan Kowalewski
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2021 easychair.org. All rights reserved.