Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
ACM
2013
|
| _version_ | 1797080892382904320 |
|---|---|
| author | Amparore, E Barbot, B Beccuti, M Donatelli, S Franceschinis, G |
| author_facet | Amparore, E Barbot, B Beccuti, M Donatelli, S Franceschinis, G |
| author_sort | Amparore, E |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T01:06:45Z |
| format | Conference item |
| id | oxford-uuid:8b9c44c7-2f9b-4294-81a3-f210952d1e29 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T01:06:45Z |
| publishDate | 2013 |
| publisher | ACM |
| record_format | dspace |
| spelling | oxford-uuid:8b9c44c7-2f9b-4294-81a3-f210952d1e292022-03-26T22:39:07ZSimulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric netsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:8b9c44c7-2f9b-4294-81a3-f210952d1e29Department of Computer ScienceACM2013Amparore, EBarbot, BBeccuti, MDonatelli, SFranceschinis, G |
| spellingShingle | Amparore, E Barbot, B Beccuti, M Donatelli, S Franceschinis, G Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| title | Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| title_full | Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| title_fullStr | Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| title_full_unstemmed | Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| title_short | Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| title_sort | simulation based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets |
| work_keys_str_mv | AT amparoree simulationbasedverificationofhybridautomatastochasticlogicformulasforstochasticsymmetricnets AT barbotb simulationbasedverificationofhybridautomatastochasticlogicformulasforstochasticsymmetricnets AT beccutim simulationbasedverificationofhybridautomatastochasticlogicformulasforstochasticsymmetricnets AT donatellis simulationbasedverificationofhybridautomatastochasticlogicformulasforstochasticsymmetricnets AT franceschinisg simulationbasedverificationofhybridautomatastochasticlogicformulasforstochasticsymmetricnets |