[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Felderetal94b

  1. Miguel Felder & Angelo Morzenti
  2. Validating Real-Time systems by History-Checking TRIO Specifications
  3. Trans Softw Eng Methodol V9n4(Oct 1994)pp308-339
  4. =EXPERIENCE TIMING TRIO LOGIC SPECIFICATION PROOF
      Some experiences with Italian utility companies

      Semantic tableaus for proof and for history checking

    1. Futr(A,t)::=A(_+t), Past(A,t) ::=A(_-t)
    2. Table 1, p316 defines:
    3. AlwF, AlwP, Alw, SomF, SomP, Som,Lats,Lasted, since, Since[w], WithinP, Until, Until[w], UpToNow, FirstTimeF


Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]