KIT | KIT-Bibliothek | Impressum | Datenschutz

FOAM: A Lightweight Method for Verification of Use-Cases

Simko, Viliam; Hnetynka, Petr; Bures, Tomas; Plasil, Frantisek


Originalveröffentlichung
DOI: 10.1109/SEAA.2012.15
Scopus
Zitationen: 2
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Fakultät für Wirtschaftswissenschaften – Institut für Informationswirtschaft und Marketing (IISM)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2012
Sprache Englisch
Identifikator ISBN: 978-1-4673-2451-9
KITopen-ID: 1000056018
Erschienen in 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2012 : 5 - 8 Sept. 2012, Cesme, Izmir, Turkey. Ed.: V. Cortellessa
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 228-232
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page