Towards reliable code generation with an open tool : evolutions of the gene-auto toolset
autor
Toom, Andres
Izerrouken, N.
Näks, Tõnu
Pantel, M.
Ssi Yan Kai, O.
vastutusandmed
A. Toom, N. Izerrouken, T. Naks, M. Pantel, O. Ssi Yan Kai
allikas
5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France
ilmumiskoht
Cedex
kirjastus/väljaandja
SIA
ilmumisaasta
2010
leheküljed
[10] p
konverentsi nimetus, aeg
5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010
konverentsi toimumispaik
Toulouse, France
leitav
https://hal.science/hal-02267640/document
märksõna
programmeerimiskeeled
manussüsteemid
tarkvara
sertifitseerimine
verifikatsioon
tõestused
märkused
Bibliogr.: 15 ref
keel
inglise