Robuta

https://research.utwente.nl/en/publications/modelling-social-technical-attacks-with-timed-automata/ Modelling Social-Technical Attacks with Timed Automata - University of Twente Research Information university of twente timed automata modelling social technical https://www.ics.muni.cz/en/research/publications/958862 Timed Automata Approach to Verification of Systems with Degradation | Institute of Computer Science... timed automata computer science approach verification systems https://pure.ecnu.edu.cn/en/publications/timed-automata-patterns/ Timed automata patterns - East China Normal University timed automata east china normal university patterns https://researchportal.ip-paris.fr/fr/publications/extending-timed-automata-with-clock-derivatives/ Extending Timed Automata with Clock Derivatives - Institut Polytechnique de Paris timed automata institut polytechnique extending clock derivatives https://iris.unitn.it/handle/11572/368709 Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata real time feasibility analysis timed automata parametric system https://experts.mcmaster.ca/scholarly-works/3236554 Verifying MITL formulae on Timed Automata... Learn about the scholarly work entitled Verifying MITL formulae on Timed Automata... timed automata verifying mitl formulae https://research.buaa.edu.cn/en/publications/approach-to-analyzing-aadl-end-to-end-flow-latency-based-on-timed/ Approach to analyzing AADL end-to-end flow latency based on timed automata - Beihang University based on timed automata beihang university approach analyzing https://mdh.diva-portal.org/smash/record.jsf?faces-redirect=true&language=no&searchType=SIMPLE&query=&af=%5B%5D&aq=%5B%5B%5D%5D&aq2=%5B%5B%5D%5D&aqe=%5B%5D&pid=diva2%3A236995&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all Model Checking Timed Automata with Priorities using DBM Subtraction model checking timed automata priorities using dbm