Mariëlle Stoelinga

Identifiers

Open LibraryOL7561414A

Top Subjects

Logics and Meanings of Programs (1)
Computer science (1)
Computation by Abstract Devices (1)
Computer Appl. in Administrative Data Processing (1)
Logic design (1)
Information systems (1)
Software engineering (1)

Books by Mariëlle Stoelinga

Total count: 6

Formal Methods for Industrial Critical Systems17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Springer Berlin Heidelberg2012-01-01
Quantitative Evaluation of Systems10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Springer London, Limited2013-01-01
Stochastic Model CheckingInternational Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Springer London, Limited2014-01-01
Formal Modeling and Analysis of Timed Systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Springer2019-08-13
Journey from Process Algebra Via Timed Automata to Model LearningEssays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Springer2022-01-01
Concise Guide to Fault Tree AnalysisModels, Methods and Algorithms

Springer2025-01-01