Online first articles

Articles not assigned to an issue 27 articles

  1. Authors

    • Susanne Graf
    • Ileana Ober
    • Iulian Ober
    • Content type: Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
  2. Authors (first, second and last of 4)

    • Steven P. Miller
    • Alan C. Tribble
    • Mats P. E. Heimdahl
    • Content type: Special Section on the Industrialization of Formal Methods: A View from Formal Methods 2003