KIT | KIT-Bibliothek | Impressum

FOAM: A Lightweight Method for Verification of Use-Cases

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



Zugehörige Institution(en) am KIT Institut für Informationswirtschaft und Marketing (IISM)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator DOI: 10.1109/SEAA.2012.15
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 IEEE, Piscataway (NJ)
Seiten 228-232
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page