Cristin-resultat-ID: 822262
Sist endret: 29. januar 2009, 00:00
Resultat
Rapport
2008

Springer Lecture Notes in Computer Science

Utgiver/serie

Utgiver

Springer-Verlag

Om resultatet

Rapport
Publiseringsår: 2008
Antall sider: 8

Importkilder

ForskDok-ID: r09007241

Beskrivelse Beskrivelse

Tittel

Springer Lecture Notes in Computer Science

Kapitler/Artikler Kapitler/Artikler

Monitoring Accessibility of Governmental Web Sites in Europe.

Olsen, Morten Goodwin; Snaprud, Mikael Odd H.. 2008, UIAAnnet

Sparse Nerves in Practice.

Brun, Morten; Blaser, Nello. 2008, UIBVitenskapelig Kapittel/Artikkel/Konferanseartikkel

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous PSs in AADL. .

Lee, Jahune; Ölveczky, Peter Csaba. 2008, PUoSaT, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Computer Aided Verification: 33rd International Conference, CAV 2021 .

Lee, Jaehun; Kim, Sharon; Bae, Kyungmin; Ølveczky, Peter Csaba. 2008, PUoSaT, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 4 av 4