Skip to search boxSkip to navigationSkip to main content

Preface by the section editors

  • Lenore Zuck(corresponding author)
    ,
  • Paul Attie
    ,
  • Agostino Cortesi
*Corresponding author for this work
  • Unknown
Scholary Output:
Contribution to journal
Editorial
 Peer-review

Abstract

The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.

Publication Information

Output type

Scholary Output:
Contribution to journal
Editorial
 Peer-review

Original language

English (US)

Pages from-to (Number of pages)

Pages 1-3 (3 pages)

Journal (Volume, Issue Number)

International Journal on Software Tools for Technology Transfer (Volume 6, Issue 1)

Publication milestones

  • Published - 2004

Publication status

Published - 2004

ISSN

1433-2779

Publication IDs

  • Scopus: 84896871665

Access to documents

Publication metrics

Metrics

Fractional count
1
Fractional count
0.33
Fractional count
2
Fractional count
0.67
Fractional count
1
Fractional count
1
SciVal
Author count
3
SciVal
Paper percentile
24