Axiomatic Specifications in Firmware Development Systems

Julkaisun otsikon käännös: Axiomatic Specifications in Firmware Development Systems

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

8 Sitaatiot (Scopus)

Julkaisun otsikon käännös	Axiomatic Specifications in Firmware Development Systems
Alkuperäiskieli	Englanti
Sivut	49-58
Julkaisu	IEEE Software
Vuosikerta	3
Numero	4
Tila	Julkaistu - 1986
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisufoorumi-taso

@article{623742431df3428cbb01ce9bf5f0a048,

title = "Axiomatic Specifications in Firmware Development Systems",

author = "J. Hein{\"a}nen",

note = "Contribution: organisation=sgn,FACT1=1",

year = "1986",

language = "English",

volume = "3",

pages = "49--58",

journal = "IEEE Software",

issn = "0740-7459",

publisher = "IEEE Computer Society",

number = "4",

}