Generating on-line test oracles from temporal logic specifications

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		01255naa a2200289 4500
001		oai:DiVA.org:uu-49083
003		SwePub
008		061215s2003 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
024	7	a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-490832 URI
040		a (SwePub)uu
041		a eng
042		9 SwePub
072	7	a ref2 swepub-contenttype
072	7	a art2 swepub-publicationtype
100	1	a Håkansson, Johnu Uppsala universitet,Datorteknik4 aut
245	1 0	a Generating on-line test oracles from temporal logic specifications
264	1	c 2003
338		a print2 rdacarrier
650	7	a NATURVETENSKAPx Data- och informationsvetenskapx Programvaruteknik0 (SwePub)102052 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciencesx Software Engineering0 (SwePub)102052 hsv//eng
653		a Software engineering
653		a Programvaruteknik
700	1	a Jonsson, Bengtu Uppsala universitet,Datorteknik,Testing of Reactive Systems4 aut
700	1	a Lundqvist, Ola4 aut
710	2	a Uppsala universitetb Datorteknik4 org
773	0	t International Journal on Software Tools for Technology Transferg 4:4, s. 456-471q 4:4<456-471x 1433-2779x 1433-2787
856	4 8	u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-49083

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Programvarutekni ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.