Amanote Research
Register
Sign In
Regular Specifications of Resource Requirements for Embedded Control Software
doi 10.1109/rtas.2008.13
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 2008
Authors
Rajeev Alur
Gera Weiss
Publisher
IEEE
Related search
Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications
Control Software Interface for Managing System Requirements
Development of an Intelligent Agent for Analysis of Nonfunctional Characteristics in Specifications of Software Requirements
EasternEuropean Journal of Enterprise Technologies
Control
Electronic Engineering
Industrial
Mechanical Engineering
Energy Engineering
Applied Mathematics
Systems Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
Innovation
Management of Technology
Power Technology
Embedded Software for the CEBAF RF Control Module
From Requirements to Embedded Software - Formalising the Key Steps
Distributed Synthesis for Regular and Contextfree Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Requirements and Specifications for Adaptive Security
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Software
Testable Requirements and Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
