Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Predicate diagrams as basis for the verification of reactive systems von Nugraheni, Cecilia E.

Predicate diagrams as basis for the verification of reactive systems von Nugraheni, Cecilia E.

kostenfrei

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings

DE-634
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract

Specifying systems the TLA+ language and tools for hardware and software engineers von Lamport, Leslie 1941-

Predicate diagrams as basis for the verification of reactive systems von Nugraheni, Cecilia E.

On the combination of model- and property-oriented description techniques von Deiß, Thomas 1964-

Inhaltsverzeichnis

A practical theory of reactive systems incremental modeling of dynamic behaviors

DE-634
DE-M347
DE-473
DE-706
DE-739
Volltext

A practical theory of reactive systems incremental modeling of dynamic behaviors von Kurki-Suonio, Reino