Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen
Publikation: Teil einer Monographie/eines Konferenzbandes
Parallel analysis with FAMVal to speed up simulation-based model checking
Grunddaten
Link
Autoren
Einrichtung
Grunddaten
Titel
Parallel analysis with FAMVal to speed up simulation-based model checking
Veröffentlicht in
Fourth UKSim European Symposium on Computer Modeling and Simulation (EMS), 2010 : 17 - 19 Nov. 2010, Pisa, Italy ; proceedings , ISBN 978-1-4244-9313-5. - Piscataway, NJ : IEEE
Erscheinungsjahr
2010
Seiten (von – bis)
344 – 350
Jahr
2010
Publikationsform
Elektronische Ressource
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
03.02.2018 11:31:34
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/39329
Links zu Katalogen
Autoren
Leye, Stefan
Mazemondet, Orianne
Uhrmacher, Adelinde
Externer Link
Beschreibung
Link
Volltext (lizenzpflichtig)
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5703708
Einrichtung
IEF/Bereich Informatik