Mariëlle Stoelinga
Mariëlle Stoelinga
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formal Modeling and Analysis of Timed Systems
cover - Image source: Open LibraryQE
Quantitative Evaluation of Systems
cover - Image source: Open LibraryFM
Formal Methods for Industrial Critical Systems
cover - CGConcise Guide to Fault Tree Ana...Mariëlle Stoelinga
Concise Guide to Fault Tree Analysis
no cover - JFJourney from Process Algebra Vi...Mariëlle Stoelinga
Journey from Process Algebra Via Timed Automata to Model Learning
no cover - FAFundamental Approaches to Softw...Mariëlle Stoelinga
Fundamental Approaches to Software Engineering
no cover - SMStochastic Model CheckingMariëlle Stoelinga
Stochastic Model Checking
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal Modeling and Analysis of Timed Systems
- Open Work
Quantitative Evaluation of Systems
- Open Work
Formal Methods for Industrial Critical Systems
- Open Work
Concise Guide to Fault Tree Analysis
- Open Work
Journey from Process Algebra Via Timed Automata to Model Learning
- Open Work
Fundamental Approaches to Software Engineering
- Open Work
Stochastic Model Checking