Amanote Research
Register
Sign In
Specification and Design Methodology for Real-Time Embedded Systems
doi 10.1007/978-1-4615-0837-3
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2002
Authors
Randall S. Janka
Publisher
Springer US
Related search
Embedded Systems in Real Time Applications, Design & Architecture
Ubiquity
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
μ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
A Design Methodology for Embedded Systems Based on Multiple Processors
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Design Space Exploration for Real-Time Embedded Stream Processors
IEEE Micro
Hardware
Electronic Engineering
Electrical
Architecture
Software
A Java Processor Architecture for Embedded Real-Time Systems
Journal of Systems Architecture
Hardware
Architecture
Software
Specification and Analysis of Real-Time Systems in Statecharts
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software