• DocumentCode
    1907901
  • Title

    ABD 2: Languages & Tools for probabilistic & Temporal specifications

  • Author

    Borrione, Dominique

  • Author_Institution
    TIMA Laboratory, Grenoble University, France
  • fYear
    2012
  • fDate
    18-20 Sept. 2012
  • Firstpage
    35
  • Lastpage
    35
  • Abstract
    The first paper defines a variation of bounded LTL, and its trace semantics, for the specification of reliability requirements for embedded systems; action traces are processed to compute the reliability satisfaction for a given action schedule. The second (invited) paper is an introduction to the MODEST specification language and its toolset.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Specification and Design Languages (FDL), 2012 Forum on
  • Conference_Location
    Vienna, Austria
  • ISSN
    1636-9874
  • Print_ISBN
    978-1-4673-1240-0
  • Type

    conf

  • Filename
    6336980
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1907901