Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((computer simulations) OR (computer simulation))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Steffen, Bernhard"
Showing
1
-
12
of
12
Search:
'((computer simulations) OR (computer simulation))'
,
query time: 0.65s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...
Simulation
Approach for Performance Validation during Embedded Systems Design -- Optimizing Automatic...
”
Read Now
2
Transactions on Foundations for Mastering Change I
Published 2016
Springer International Publishing
Subjects:
“
...
Computer
simulation
...
”
Read Now
3
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...
Published 2019
Springer International Publishing
Subjects:
“
...
Computer
simulation
...
”
Read Now
4
SOFSEM 2017: Theory and Practice of
Computer
Science...
Published 2017
Springer International Publishing
Table of Contents:
“
...-isomorphic Substrings --
Computing
longest single-arm-gapped palindromes in a string -- Edit-Distance between...
”
Read Now
5
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... architecture for verification,
simulation
, and testing -- Practical model-checking using games -- Combining...
”
Read Now
6
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 20...
Published 2020
Springer International Publishing
Table of Contents:
“
... for Multi-agent Systems -- 30 Years of
Simulation
-Based Quantitative Analysis Tools: a Comparison Experiment...
”
Read Now
7
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...
Published 2018
Springer International Publishing
Table of Contents:
“
... Production Systems (CPPS) -- Model-Based Systems Engineering for Systems
Simulation
-- Scenario-based...
”
Read Now
8
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, P...
Published 2018
Springer International Publishing
Table of Contents:
“
... Checking -- Quantitative risk assessment of safety-critical systems via guided
simulation
for rare events...
”
Read Now
9
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...
Published 2021
Springer International Publishing
Table of Contents:
“
... -- Use Cases for
Simulation
in the Development of Automated Driving Systems --
Simulation
-based...
”
Read Now
10
Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... on telephony -- Convergence of telecommunications and
computing
on networking models for integrated services...
”
Read Now
11
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...
Published 2016
Springer International Publishing
Table of Contents:
“
...-Based Self-Adaptive
Computing
Systems -- A Calculus for Open Ensembles and Their Composition -- Logic...
”
Read Now
12
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...
Published 2016
Springer International Publishing
Table of Contents:
“
... Driver Assistance Systems through a Combination of
Simulation
and Runtime Monitoring -- Enhancement...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Steffen, Bernhard
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
8
004 - Data processing & computer science
3
518 - Numerical analysis
1
Language
English
12
Collection
Springer eBooks 2005-
10
Springer Book Archives -2004
2
Author
Steffen, Bernhard
Margaria, Tiziana
8
Baier, Christel
1
Beyer, Dirk
1
Eder, Johann
1
Huisman, Marieke
1
more ...
Kordon, Fabrice
1
Posegga, Joachim
1
Rückert, Roland
1
van den Brand, Mark
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Steffen%2C+Bernhard%22&lookfor=%28%28computer+simulations%29+OR+%28computer+simulation%29%29&type=AllFields
Send by Email
×
Loading...