Specification, modelling, verification and runtime analysis of real time systems

Author(s)

    • Logothetis, Georgios

Bibliographic Information

Specification, modelling, verification and runtime analysis of real time systems

Georgios Logothetis

（Dissertationen zur Künstlichen Intelligenz, Bd. 280）

Infix, c2004

  • : Aka

Other Title

Verification of real time systems

Available at  / 1 libraries

Search this Book/Journal

Note

"infix is a joint imprint of Akademische Verlagsgesellschaft Aka GmbH (Berlin) and IOS Press BV (Amsterdam)" -- T.p. verso

Originally presented as the author's thesis (doctoral) -- Universität Karlsruhe, 2003

Includes bibliographical references (p. 171-180)

Related Books： 1-1 of 1

Details

  • NCID
    BA70000847
  • ISBN
    • 389838280X
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    xv, 180 p.
  • Size
    21 cm
  • Parent Bibliography ID
Page Top