CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
4 research outputs found
COMDES Development Toolset
Author
Angelov Christo K.
Guo Yu
Sierszecki Krzysztof
Publication venue
FACS
Publication date
Field of study
Get PDF
University of Southern Denmark Research Output
Component-Based Design of Safe Real-Time Kernels for Embedded Systems
Author
Angelov Christo K.
Berthing Jesper
Publication venue
IEEE
Publication date
01/01/2007
Field of study
No full text
University of Southern Denmark Research Output
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata
Author
Angelov Christo K.
Sierszecki Krzysztof
Zhou Feng
Publication venue
Springer
Publication date
Field of study
No full text
University of Southern Denmark Research Output
A Jitter-Free Operational Environment for Dependable Embedded Systems
Author
Angelov Christo K.
Berthing J.
Sierszecki Krzysztof
Publication venue
Springer Science+Business Media
Publication date
Field of study
No full text
University of Southern Denmark Research Output