UML stāvokļu mašīnu modeļu formālās pārbaudes metožu salīdzinoša analīze
2007
Gundars Alksnis

-


Atslēgas vārdi
UML stāvokļu mašīnu diagrammas, formālās metodes

Alksnis, G. UML stāvokļu mašīnu modeļu formālās pārbaudes metožu salīdzinoša analīze. Lietišķās datorsistēmas. Nr.30, 2007, 28.-37.lpp. ISSN 1407-7493.

 Publikācijas valoda
Latvian (lv)
  • Publikācijas veids
    Publikācija RTU zinātniskajā žurnālā
  • Pamatdarbībai piesaistītais finansējums
    Nav zināms
  • Pētniecības nozare
    2. Inženierzinātnes un tehnoloģijas
  • Pētniecības apakšnozare
    2.2. Elektrotehnika, elektronika, informācijas un komunikāciju tehnoloģijas
  • ID: 2768
RTU Zinātniskā bibliotēka.
E-pasts: uzzinas@rtu.lv; Tālr: +371 28399196
KONTAKTI

IT Pakalpojumu centrs
Ķīpsalas iela 6B, Rīga, LV-1048, Latvija
T.: +371 67089999
E-pasts: it@rtu.lv
SAITES

Zinātne
Atvērtā zinātne
© Rīgas Tehniskā universitāte 2024
Šī vietne izmanto sīkdatnes, lai uzlabotu lietošanas pieredzi un optimizētu tās darbību. Turpinot lietot šo vietni, Jūs piekrītiet sīkdatņu lietošanai!
Piekrītu Lasīt vairāk