SPECIFICATION AND ANALYSIS OF REAL-TIME SYSTEMS - GUEST EDITORS INTRODUCTION

被引：0

作者：

KEMMERER, RA

GHEZZI, C

机构：

[1] UNIV CALIF SANTA BARBARA,CTR COMPUTAT SCI & ENGN,SANTA BARBARA,CA 93106

[2] UNIV CALIF SANTA BARBARA,RELIABLE SOFTWARE GRP,SANTA BARBARA,CA 93106

[3] POLITECN MILAN,COMP SCI,I-20133 MILAN,ITALY

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1992年 / 18卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：766 / 767

页数：2

共 50 条

[1] REAL-TIME SYSTEMS - GUEST EDITORS INTRODUCTION
KRISHNA, CM
LEE, YH
COMPUTER, 1991, 24 (05) : 10 - 11
[2] Guest editors’ introduction: quantitative analysis of real-time embedded systems
Peter Buchholz
Joost-Pieter Katoen
Marcel Verhoef
International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 605 - 606
[3] Special issue on real-time systems design: Guest editors' introduction
Colnarič, Matjaž
Glavinić, Vlado
Journal of Computing and Information Technology, 2000, 8 (03)
[4] Guest editors' introduction: Designing real-time embedded multimedia systems
Marculescu, R
Eles, P
IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (05): : 354 - 356
[5] DEPENDABILITY OF REAL-TIME SOFTWARE - GUEST EDITORS INTRODUCTION
SAGLIETTI, F
REAL-TIME SYSTEMS, 1994, 7 (02) : 103 - 104
[6] Guest editors' introduction to special section on asynchronous real-time distributed systems
Jensen, ED
Ravindran, B
IEEE TRANSACTIONS ON COMPUTERS, 2002, 51 (08) : 881 - 882
[7] Software engineering practices and tools for real-time systems .1. Guest Editors' introduction
Bhattacharya, S
Mojdehbakhsh, R
Tsai, WT
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 159 - 159
[8] GUEST EDITORS INTRODUCTION TO SPECIAL SECTION ON TEMPORAL AND REAL-TIME DATABASES
OZSOYOGLU, G
SNODGRASS, RT
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (04) : 511 - 512
[9] Specification and analysis of real-time systems using Real-Time Maude
Ölveczky, PC
Meseguer, J
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
[10] Specification and Timing Analysis of Real-Time Systems
Shuhua Wang
Grace Tsai
Real-Time Systems, 2004, 28 : 69 - 90

← 1 2 3 4 5 →