No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

20042019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Mariëlle Ida Antoinette Stoelinga is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Testing
Intelligent buildings
Fault tree analysis
Formal methods
Specifications
Availability
Nutrition
Stochastic models
Costs
Probability distributions
Repair
Network protocols
Binary decision diagrams
Importance sampling
Specification languages
Chemical analysis
Stochastic systems
Computer science
Software architecture
Technical presentations
Bluetooth
Semantics
Markov processes
Air conditioning
Statistical Models
Decomposition
Ventilation
Recovery
Algebra
Industry
Aerospace applications
Real time systems
Statistical methods
Directed graphs
Aircraft
Process engineering
Heating
Nuclear energy
Automata theory
Nuclear power plants
Scalability
Water
Railroad cars
Power plants
Statistical tests
Flavors
Planning