Theories and Experiences for Real-Time System Development - AMAST Series in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810219239, 9789812831583

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Real-time system = discrete system + clock variables

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0001 ◽

1995 ◽

pp. 1-29 ◽

Cited By ~ 5

Author(s):

Rajeev Alur ◽

Thomas A. Henzinger

Keyword(s):

Real Time ◽

Discrete System ◽

Time System ◽

Real Time System ◽

System Clock

Download Full-text

BACK MATTER

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_bmatter ◽

1995 ◽

pp. 389-431

Author(s):

Teodor Rus ◽

Charles Rattray

Download Full-text

An experiment in developing real-time systems using Mec

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0014 ◽

1995 ◽

pp. 363-388 ◽

Cited By ~ 2

Author(s):

Didier Bégay ◽

Jérôme Dormoy ◽

Patrick Félix

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

A Timed Full LOTOS with Time/Action Tree Semantics

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0008 ◽

1995 ◽

pp. 205-237 ◽

Cited By ~ 1

Author(s):

Tommaso Bolognesi ◽

Ferdinando Lucidi

Download Full-text

Approximations for verifying timing properties

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0007 ◽

1995 ◽

pp. 177-204 ◽

Cited By ~ 28

Author(s):

Howard Wong-Toi ◽

David L. Dill

Keyword(s):

Timing Properties

Download Full-text

Verification of an audio control protocol

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0006 ◽

1995 ◽

pp. 147-176 ◽

Cited By ~ 2

Author(s):

Doeko J. B. Bosscher ◽

Indra Polak ◽

Frits W. Vaandrager

Keyword(s):

Control Protocol

Download Full-text

Performance analysis and true concurrency semantics

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0012 ◽

1995 ◽

pp. 309-337 ◽

Cited By ~ 3

Author(s):

Ed Brinksma ◽

Joost-Pieter Katoen ◽

Rom Langerak ◽

Diego Latella

Keyword(s):

Performance Analysis ◽

True Concurrency

Download Full-text

Status-oriented telephone service specification

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0010 ◽

1995 ◽

pp. 265-286

Author(s):

Bernard Stepien ◽

Luigi Logrippo

Keyword(s):

Telephone Service ◽

Service Specification

Download Full-text

Designing supervisors for real-time systems

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_0004 ◽

1995 ◽

pp. 103-128 ◽

Cited By ~ 1

Author(s):

Dan Ionescu

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

FRONT MATTER

Theories and Experiences for Real-Time System Development - AMAST Series in Computing ◽

10.1142/9789812831583_fmatter ◽

1995 ◽

pp. i-xi

Author(s):

Teodor Rus ◽

Charles Rattray

Download Full-text

Theories and Experiences for Real-Time System Development - AMAST Series in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By WORLD SCIENTIFIC

Real-time system = discrete system + clock variables

BACK MATTER

An experiment in developing real-time systems using Mec

A Timed Full LOTOS with Time/Action Tree Semantics

Approximations for verifying timing properties

Verification of an audio control protocol

Performance analysis and true concurrency semantics

Status-oriented telephone service specification

Designing supervisors for real-time systems

FRONT MATTER

Theories and Experiences for Real-Time System Development - AMAST Series in Computing
Latest Publications