The Community for Technology Leaders
RSS Icon
Subscribe
2010 10th International Conference on Application of Concurrency to System Design (1998)
Fukushima, Japan
Mar. 23, 1998 to Mar. 26, 1998
ISBN: 0-8186-8350-3
TABLE OF CONTENTS
pp. viii
pp. xii
Tutorial Papers
Jainendra Kumar , Advanced Systems Technology Lab, MOTOROLA Inc.
Carl Pixley , Advanced Systems Technology Lab, MOTOROLA Inc.
pp. 8
Luciano Lavagno , Dipartimento di Elettronica Politecnico di Torino
pp. 24
Hierarchical Models
Bilung Lee , University of California at Berkeley
Edward A. Lee , University of California at Berkeley
pp. 34
J.R. Beauvais , IRISA, Campus de Beaulieu
R. Houdebine , IRISA, Campus de Beaulieu
P. Le Guernic , IRISA, Campus de Beaulieu
E. Rutten , IRISA, Campus de Beaulieu
T. Gautier , IRISA, Campus de Beaulieu
pp. 52
Hierarchical Verification
Tomohiro Yoneda , Tokyo Institute of Technology
Yutaka Ohtsuka , Tokyo Institute of Technology
Mart Saarepera , Tokyo Institute of Technology
pp. 64
Antti Valmari , Tampere University of Technology
Ilkka Kokkarinen , Tampere University of Technology
pp. 75
Systems with Timing
Kazuhiro Nakamura , Nara Institute of Science and Technology
Satoshi Yamane , Nara Institute of Science and Technology
pp. 99
A. Cerone , University of South Australia
D.A. Kearney , University of South Australia
G. J. Milne , University of South Australia
pp. 109
Michael V. Goncharov , Institute for Analytical Instrumentation of RAS
Alexander B. Smirnov , Institute for Analytical Instrumentation of RAS
Nikolai A. Starodoubtsev , Institute for Analytical Instrumentation of RAS
Ilya V. Klotchkov , St.-Petersburg State University,
pp. 120
PN-Based Verification
K. Bilinski , Technical University of Zielona Gora
E.L. Dagless , University of Bristol, UK
pp. 132
High-Level Nets
Giovanna Di Marzo Serugendo , CUI, University of Geneva
Nicolas Guelfi , LGL-DI, Swiss Federal Institute of Technology
pp. 166
Jörg Desel , Universit?t Karlsruhe
Ekkart Kindler , Humboldt-Universit?t zu Berlin
pp. 177
Hardware Verification
Panel Discussion
Algebraic Models and Languages
Howard Bowman , University of Kent
Joost-Pieter Katoen , University of Erlangen-Nuernberg
pp. 228
Raymond Devillers , Universite Libre de Bruxelles
Maciej Koutny , University of Newcastle
pp. 239
Swarup Mohalik , The Institute of Mathematical Sciences
R. Ramanujam , The Institute of Mathematical Sciences
pp. 250
Case Studies
W.M.P. Van der Aalst , Eindhoven University of Technology
pp. 262
Franz Huber , Technische Universit?t M?nchen
Sascha Molterer , Technische Universit?t M?nchen
Bernhard Schätz , Technische Universit?t M?nchen
Oscar Slotosch , Technische Universit?t M?nchen
Alexander Vilbig , Technische Universit?t M?nchen
pp. 282
Author Index (PDF)
pp. 295
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool