uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
The Gradual Verifier
Universite du Luxembourg.
University of California, Berkeley.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. (Embedded Systems)
SRI International.
Vise andre og tillknytning
2014 (engelsk)Inngår i: NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings, Switzerland, 2014, s. 313-327Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Switzerland, 2014. s. 313-327
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8430
Emneord [en]
verification, bug finding, formal methods
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-238010DOI: 10.1007/978-3-319-06200-6_27ISBN: 978-3-319-06199-3 (tryckt)OAI: oai:DiVA.org:uu-238010DiVA, id: diva2:769795
Konferanse
6th International Symposium, NASA Formal Methods (NFM 2014) Houston, USA, April 29 – May 1, 2014
Prosjekter
UPMARCTilgjengelig fra: 2014-12-09 Laget: 2014-12-09 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(707 kB)75 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 707 kBChecksum SHA-512
aab2a5f75246f41612fbd2b36f39f28cd7f7c513ede4657cf68f03159c25083d7000d31f6927129f45619eb2700b521ee0e578a7aac544f0d593259ba79d40be
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Rümmer, Philipp

Søk i DiVA

Av forfatter/redaktør
Rümmer, Philipp
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 75 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 542 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf