Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems

被引：0

作者：

D'Argenio, PR

Baeten, JCM

机构：

[1] Natl Univ Cordoba, FAMAF, RA-5000 Cordoba, Argentina

[2] Tech Univ Eindhoven, NL-5600 MB Eindhoven, Netherlands

来源：

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 2003年 / 56卷 / 1-2期

关键词：

D O I：

10.1016/S1567-8326(02)00064-4

中图分类号：

学科分类号：

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] Guest Editors' Introduction: Special Issue on Autonomous Systems Design
Saidi, Selma
Deshmukh, Jyotirmoy, V
Ziegenbein, Dirk
Ernst, Rolf
IEEE DESIGN & TEST, 2022, 39 (01) : 5 - 7
[2] Guest Editors' Introduction to the Special Issue on The design and analysis of wireless systems: New inspirations
Shadaram, Mehdi
Akopian, David
Carvalho, Glaucio H. S.
COMPUTERS & ELECTRICAL ENGINEERING, 2012, 38 (03) : 471 - 472
[3] SPECIAL ISSUE ON AUTONOMOUS SYSTEMS - GUEST EDITORS INTRODUCTION
MAGEE, M
APPLIED INTELLIGENCE, 1995, 5 (01) : 5 - 6
[4] Special issue on real-time systems design: Guest editors' introduction
Colnarič, Matjaž
Glavinić, Vlado
Journal of Computing and Information Technology, 2000, 8 (03)
[5] Guest Editors' Introduction: Special Issue on Time-Critical Systems Design
Mitra, Tulika
Teich, Juergen
Thiele, Lothar
IEEE DESIGN & TEST, 2018, 35 (02) : 5 - 7
[6] Guest editors' introduction to the special issue
Barrs, Myra
Veresov, Nikolai
INTERNATIONAL RESEARCH IN EARLY CHILDHOOD EDUCATION, 2016, 7 (02): : 1 - 2
[7] Guest editors' introduction to the special issue
Samuelsson, Ingrid Pramling
Veraksa, Nikolay
INTERNATIONAL RESEARCH IN EARLY CHILDHOOD EDUCATION, 2020, 10 (02): : I - III
[8] Guest editors' introduction to the special issue
Christopher Westland, J.
Chen, Guoqing
Ba, Sulin
Electronic Commerce Research and Applications, 2013, 12 (05) : 297 - 298
[9] Guest Editors' Introduction to the Special Issue
Corry, Robert
LeBleu, Charlene
LANDSCAPE JOURNAL, 2023, 42 (01): : V - VI
[10] Special Issue: Guest Editors' Introduction
Chapman, Peter
Micallef, Luana
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2014, 25 (03): : 133 - 133

← 1 2 3 4 5 →