|
Journals in DBLP
STTT 2003, volume: 4, number: 4
- Dieter Hogrefe
Main issues in protocol testing. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:397-400 [Journal]
- Bengt Jonsson, Konstantinos F. Sagonas
Preface by the section editors. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:401-404 [Journal]
- Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
A verification tool for ERLANG. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:405-420 [Journal]
- Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas, Thomas Lindgren
The development of the HiPE system: design and experience report. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:421-436 [Journal]
- Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson
Worst-case execution-time analysis for embedded real-time systems. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:437-455 [Journal]
- John Håkansson, Bengt Jonsson, Ola Lundqvist
Generating online test oracles from temporal logic specifications. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:456-471 [Journal]
- Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell
Security by typing. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:472-495 [Journal]
- Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
Scalable distributed on-the-fly symbolic model checking. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:496-504 [Journal]
- Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:505-528 [Journal]
|