UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Back to results

Predicate diagrams as basis for the verification of reactive systems

LMU University Library Online Catalogue (1/1)

Save in:
 

Predicate diagrams as basis for the verification of reactive systems

Author: Nugraheni, Cecilia E.
Place, Publisher, Year: , , 2004
Physical Details: X, 170 S.
Subject chain: Reaktives System / Formale Spezifikationstechnik / Verifikation / TLA <Logik> / Endlicher Graph / Prädikat <Logik>

  • Holdings
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Get document
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • More title information
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Author:Nugraheni, Cecilia E.
Main title:Predicate diagrams as basis for the verification of reactive systems
Author statement:Cecilia E. Nugraheni
Year:2004
Physical Details:X, 170 S.
Illustration:graph. Darst.
Note:München, Univ., Diss., 2004
BV-Nummer:BV017918797