UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Predicate diagrams as basis for the verification of reactive systems

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 

Predicate diagrams as basis for the verification of reactive systems

Autor: Nugraheni, Cecilia E.
Ort, Verlag, Jahr: , , 2004
Umfang: X, 170 S.
Schlagwortketten: Reaktives System / Formale Spezifikationstechnik / Verifikation / TLA <Logik> / Endlicher Graph / Prädikat <Logik>

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Nugraheni, Cecilia E.
Titel:Predicate diagrams as basis for the verification of reactive systems
Von:Cecilia E. Nugraheni
Jahr:2004
Umfang:X, 170 S.
Illustrationsangabe:graph. Darst.
Anmerkungen:München, Univ., Diss., 2004
BV-Nummer:BV017918797