Search Results - "ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages"

A data type for discretized time representation in DEVS

Authors: Vicino, Damian Dalle, Olivier Wainer, Gabriel et al.

Contributors: Vicino, Damian Dalle, Olivier Wainer, Gabriel et al.

Source: SIMUTOOLS - 7th International Conference on Simulation Tools and Techniques ; https://inria.hal.science/hal-01055555 ; SIMUTOOLS - 7th International Conference on Simulation Tools and Techniques, ICST, Mar 2014, Lisbon, Portugal

Subject Terms: ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Subject Geographic: Lisbon, Portugal

Availability: https://inria.hal.science/hal-01055555
https://inria.hal.science/hal-01055555v1/document
https://inria.hal.science/hal-01055555v1/file/DEVSTimeType.pdf

From hybrid data-flow languages to hybrid automata: a complete translation

Authors: Schrammel, Peter Jeannet, Bertrand Thao Dang and Ian Mitchell et al.

Contributors: Schrammel, Peter Jeannet, Bertrand Thao Dang and Ian Mitchell et al.

Source: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. :167-176

Subject Terms: 0209 industrial biotechnology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, Static Analysis, Verification, 02 engineering and technology, Hybrid Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.4: Model Validation and Analysis, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Data-Flow Languages, Hybrid Automata, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-00749891/file/paper.pdf
https://inria.hal.science/hal-00659698v1
https://inria.hal.science/hal-00749891v1
https://inria.hal.science/hal-00749891v1/document
https://doi.org/10.1145/2185632.2185658
https://hal.inria.fr/hal-00659698
http://srodev.sussex.ac.uk/60805/
https://dl.acm.org/doi/10.1145/2185632.2185658
https://hal.inria.fr/hal-00659698/document
https://www.cs.ox.ac.uk/publications/publication6408-abstract.html
http://sro.sussex.ac.uk/id/eprint/60805/