Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Home
Proceedings
DCPS
DCPS 2016
Generate Citations
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)
April 12 2016 to April 12 2016
Vienna, Austria
Table of Contents
P-FRP task scheduling: A survey
Full-text access may be available. Sign in or learn about subscription options.
pp. 1-8
by
Xingliang Zou
,
Albert M.K. Cheng
,
Yu Jiang
Real-time capabilities in functional languages
Full-text access may be available. Sign in or learn about subscription options.
pp. 1-10
by
Jeffrey C Murphy
,
Bhargav Shivkumar
,
Lukasz Ziarek
Architecture for logic programing with arrangements of finite-state machines
Full-text access may be available. Sign in or learn about subscription options.
pp. 1-8
by
Vladimir Estivill-Castro
,
Rene Hexel
,
Alberto Ramırez Regalado
Dependability assessment of networked embedded software systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 1-7
by
Kaliappa Ravindran
Showing 4 out of 4