Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 3/1999

Ausgabe 3/1999

Inhaltsverzeichnis ( 9 Artikel )

01.11.1999 | Special section on model checking | Ausgabe 3/1999

Pragmatics of model checking: an STTT special section

Rance Cleaveland

01.11.1999 | The opinion corner | Ausgabe 3/1999

A workshop on formal methods education: held at Melbourne Florida in March 1998[5]

an aggregation of opinions
Steven D. Johnson

01.11.1999 | Special section on model checking | Ausgabe 3/1999

Partial model checking of modal equations: A survey

Henrik Reif Andersen, Jorn Lind-Nielsen

01.11.1999 | Special section on model checking | Ausgabe 3/1999

Local model checking and protocol analysis

Xiaoqun Du, Scott A. Smolka, Rance Cleaveland

01.11.1999 | Special section on model checking | Ausgabe 3/1999

A minimized automaton representation of reachable states

Gerard J. Holzmann, Anuj Puri

01.11.1999 | Special section on model checking | Ausgabe 3/1999

Analysis and verification of real-time systems using quantitative symbolic algorithms

Sérgio Vale Aguiar Campos, Edmund Clarke

01.11.1999 | Special section on model checking | Ausgabe 3/1999

State space reduction using partial order techniques

E.M. Clarke, O. Grumberg, M. Minea, D. Peled

01.11.1999 | Special section on model checking | Ausgabe 3/1999

Model checking: a hardware design perspective

Carl Pixley, Vigyan Singhal

01.11.1999 | Regular contribution | Ausgabe 3/1999

Programming in FISh

C. Barry Jay

Aktuelle Ausgaben

Premium Partner