Back to Results
First PageMeta Content
Markov processes / Models of computation / Markov models / Differential equations / Petri net / Probabilistic automaton / Markov chain / Hybrid automaton / Random variable / Statistics / Probability and statistics / Automata theory


HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge
Add to Reading List

Document Date: 2015-03-25 18:43:01

Open Document

File Size: 1,12 MB

Share Result on Facebook

City

INRIA / Paris / /

Company

Wilson / HASL / /

Country

France / /

IndustryTerm

concurrent and distributed systems / manufacturing systems / manufacturing system / statistical verification tool / discreteevent systems / verification algorithms / /

Organization

Ecole Normale Sup´ / Ecole Centrale de Paris / /

Person

Marie Duflot / Serge Haddadb / Paolo Ballarini / Paolo Ballarinia / Serge Haddad / Nihal Pekergind / Marie Duflotc / /

ProvinceOrState

Indiana / /

Technology

simulation / verification algorithms / gene expression / /

SocialTag