Amanote Research
Register
Sign In
Validation Support for Distributed Real-Time Embedded Systems in VDM++
doi 10.1109/hase.2007.26
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2007
Authors
John S. Fitzgerald
Simon Tjell
Peter Gorm Larsen
Marcel Verhoef
Publisher
IEEE
Related search
Middleware Support for Aperiodic Tasks in Distributed Real-Time Systems
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems
On ATM Support for Distributed Real-Time Applications
Distributed Issues for Ada Real-Time Systems
μDDS: A Middleware for Real-Time Wireless Embedded Systems
Journal of Intelligent and Robotic Systems: Theory and Applications
Control
Electronic Engineering
Industrial
Mechanical Engineering
Systems Engineering
Manufacturing Engineering
Electrical
Artificial Intelligence
Software
Towards a Meta-Model for Real-Time Embedded Systems
American Journal of Embedded Systems and Applications
Validation of Timing Properties for Interoperability in Distributed Real-Time Applications
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Embedded Systems in Real Time Applications, Design & Architecture
Ubiquity
A Java Processor Architecture for Embedded Real-Time Systems
Journal of Systems Architecture
Hardware
Architecture
Software
