Amanote Research
Register
Sign In
A DSL for Specifying Timing Requirements
doi 10.1109/modre.2012.6360074
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2012
Authors
Arda Goknil
Marie-Agnes Peraldi-Frati
Publisher
IEEE
Related search
Specifying and Reasoning Over Socio-Technical Security Requirements With STS-Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Generic DSL for Automated Marking Systems
Communications in Computer and Information Science
Mathematics
Computer Science
Model-Based Specification of Timing Requirements
SPar: A DSL for High-Level and Productive Stream Parallelism
Parallel Processing Letters
Hardware
Theoretical Computer Science
Architecture
Software
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Change of Network Address for SU-DSL
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
A DSL for Configuration Management of Integrated Network Management System
A DSL-based Approach to Product Derivation for Software Product Line
Acta Informatica Pragensia
Computer Science Applications
Information Systems
Management Information Systems
Library
Information Sciences
