Mariëlle Stoelinga · 7 obras en el catálogoObrasFormal Methods for Industrial Critical SystemsQuantitative Evaluation of SystemsFormal Modeling and Analysis of Timed SystemsSStochastic Model CheckingStochastic Model CheckingFFundamental Approaches to Software EngineeringFundamental Approaches to Software EngineeringJJourney from Process Algebra Via Timed Automata to Model LeaJourney from Process Algebra Via Timed Automata to Model LearningCConcise Guide to Fault Tree AnalysisConcise Guide to Fault Tree Analysis
JJourney from Process Algebra Via Timed Automata to Model LeaJourney from Process Algebra Via Timed Automata to Model Learning
