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
Ingénieurs de l'Automobile
ajakirja aastakäik number kuu
807
ilmumisaasta
2010
leheküljed
p. 29-35
leitav
https://hal.science/hal-02267640/document
märksõna
manussüsteemid
tarkvara
sertifitseerimine
verifikatsioon
tõestused
programmeerimiskeeled
ISSN
0020-1200
keel
inglise