The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781461367963, 9781461540168

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a Timing Semantics for Programming Languages

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_9 ◽

1991 ◽

pp. 217-249 ◽

Cited By ~ 2

Author(s):

Alan C. Shaw

Keyword(s):

Programming Languages

Download Full-text

Towards Mechanization of Real-Time System Design

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_1 ◽

1991 ◽

pp. 1-37 ◽

Cited By ~ 8

Author(s):

Aloysius K. Mok

Keyword(s):

System Design ◽

Real Time ◽

Time System ◽

Real Time System

Download Full-text

Flex : A Language for Programming Flexible Real-Time Systems

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_10 ◽

1991 ◽

pp. 251-289 ◽

Cited By ~ 3

Author(s):

Kwei-Jay Lin ◽

Jane W. S. Liu ◽

Kevin B. Kenny ◽

Swaminathan Natarajan

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Mathematical Models of Real-Time Scheduling

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_3 ◽

1991 ◽

pp. 55-85 ◽

Cited By ~ 1

Author(s):

Victor Yodaiken ◽

Krithi Ramamritham

Keyword(s):

Mathematical Models ◽

Real Time ◽

Real Time Scheduling ◽

Time Scheduling

Download Full-text

Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_4 ◽

1991 ◽

pp. 87-109 ◽

Cited By ~ 5

Author(s):

Insup Lee ◽

Susan Davidson ◽

Richard Gerber

Keyword(s):

Real Time ◽

Shared Resources ◽

Specification And Implementation

Download Full-text

Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_11 ◽

1991 ◽

pp. 291-313 ◽

Cited By ~ 6

Author(s):

Constance Heitmeyer ◽

Bruce Labaw

Keyword(s):

Real Time ◽

Requirements Specification ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Automated Analysis of Concurrent and Real-Time Software

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_8 ◽

1991 ◽

pp. 195-215

Author(s):

George S. Avrunin ◽

Jack C. Wileden

Keyword(s):

Real Time ◽

Automated Analysis

Download Full-text

Derivation of Sequential, Real-Time, Process-Control Programs

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_2 ◽

1991 ◽

pp. 39-54 ◽

Cited By ~ 5

Author(s):

Keith Marzullo ◽

Fred B. Schneider ◽

Navin Budhiraja

Keyword(s):

Process Control ◽

Real Time ◽

Time Process ◽

Control Programs

Download Full-text

Concepts and Models for Real-Time Concurrency

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_7 ◽

1991 ◽

pp. 167-194 ◽

Cited By ~ 1

Author(s):

Eric Shade ◽

K. T. Narayana

Keyword(s):

Real Time

Download Full-text

HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods ◽

10.1007/978-1-4615-4016-8_6 ◽

1991 ◽

pp. 139-166

Author(s):

Armen Gabrielian

Keyword(s):

Real Time ◽

Real Time Systems ◽

Unified Framework ◽

Time Systems

Download Full-text

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Towards a Timing Semantics for Programming Languages

Towards Mechanization of Real-Time System Design

Flex : A Language for Programming Flexible Real-Time Systems

Mathematical Models of Real-Time Scheduling

Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation

Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier

Automated Analysis of Concurrent and Real-Time Software

Derivation of Sequential, Real-Time, Process-Control Programs

Concepts and Models for Real-Time Concurrency

HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems

The Kluwer International Series in Engineering and Computer Science - Foundations of Real-Time Computing: Formal Specifications and Methods
Latest Publications