Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Formal Methods for Intelligent Transportation Systems

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: E-Artikel
Titel: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Formal Methods for Intelligent Transportation Systems
Beteiligte: Fantechi, Alessandro; Flammini, Francesco; Gnesi, Stefania
Erschienen: Springer Berlin Heidelberg, 2012
Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012), Seite 187-189
Sprache: Nicht zu entscheiden
DOI: 10.1007/978-3-642-34032-1_19
ISBN: 9783642340314; 9783642340321
ISSN: 0302-9743; 1611-3349
Entstehung:
Anmerkungen:

... zum Aufsatz via DOI (in der SLUB Dresden bzw. ortsunabhängig für Angehörige der TU Dresden freigeschaltet)