Author of the publication

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

, , , and . MMB/DFT, volume 9629 of Lecture Notes in Computer Science, page 77-91. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Two-thirds simulation indexes and modal logic characterization., , , and . Frontiers Comput. Sci. China, 5 (4): 454-471 (2011)A Framework for Data-Driven Automata Design., , and . APRES, volume 558 of Communications in Computer and Information Science, page 33-47. Springer, (2015)Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images., , , , and . Remote Sensing, 10 (6): 901 (2018)A Quantitative Relation Model between Trustworthy Attributes., and . QLSC, volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)A new metric model for trustworthiness of softwares., and . Telecommun. Syst., 51 (2-3): 95-105 (2012)Quantitative Analysis of Lattice-valued Kripke Structures., , , and . Fundam. Informaticae, 135 (3): 269-293 (2014)A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles., , and . QRS Companion, page 382-388. IEEE, (2016)Efficient tasks scheduling in multicore systems integrated with hardware accelerators., , and . J. Supercomput., 79 (7): 7244-7271 (May 2023)A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles., and . IEEE Access, (2022)Connection models for the Internet-of-Things., , , and . Frontiers Comput. Sci., 14 (3): 143401 (2020)