Search results
From MaRDI portal
- automata with deadlines with Uppaal 2013-03-22 Paper A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata 2009-12-01 Paper...10 bytes (16 words) - 21:22, 12 December 2023
- zbMath Open uppaal.rheeyaMaRDI QIDQ2217436 No records found. This page was built for person: Rheeya Uppaal...10 bytes (16 words) - 09:19, 25 September 2023
- 2019-01-10 Paper Automated verification of an audio-control protocol using UPPAAL 2003-02-13 Paper Verification of large state/event systems using compositionality...10 bytes (18 words) - 09:59, 8 December 2023
- Paper Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal 2005-10-17 Paper...10 bytes (16 words) - 22:33, 12 December 2023
- Paper Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker 2022-01-11 Paper https://portal.mardi4nfdi.de/entity/Q5114827...10 bytes (16 words) - 02:13, 10 December 2023
- Type Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal 2005-10-17 Paper...10 bytes (16 words) - 16:58, 24 September 2023
- Publication Date of Publication Type Adapting the UPPAAL Model of a Distributed Lift System 2008-07-01 Paper...10 bytes (16 words) - 03:23, 28 December 2023
- Publication Date of Publication Type Analysis of a biphase mark protocol with Uppaal and PVS 2006-12-20 Paper...10 bytes (20 words) - 13:57, 7 October 2023
- Publication Type An integer static analysis for better extrapolation in Uppaal 2022-03-24 Paper...10 bytes (20 words) - 09:54, 7 October 2023
- Publication Type An integer static analysis for better extrapolation in Uppaal 2022-03-24 Paper...10 bytes (16 words) - 09:54, 7 October 2023
- Publication Type An integer static analysis for better extrapolation in Uppaal 2022-03-24 Paper...10 bytes (18 words) - 09:54, 7 October 2023
- Publication Type An integer static analysis for better extrapolation in Uppaal 2022-03-24 Paper...10 bytes (18 words) - 09:54, 7 October 2023
- Type Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker 2022-01-11 Paper...10 bytes (16 words) - 23:03, 24 September 2023
- Type Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker 2022-01-11 Paper...10 bytes (16 words) - 23:03, 24 September 2023
- Publication Type Scenario-based verification of real-time systems using UPPAAL 2011-03-31 Paper...10 bytes (16 words) - 02:13, 25 September 2023
- 2003-07-30 Paper Automated verification of an audio-control protocol using UPPAAL 2003-02-13 Paper Formal design and analysis of a gear controller 2002-09-29...10 bytes (16 words) - 02:26, 7 October 2023
- of Publication Type Discretization of Continuous Dynamical Systems Using UPPAAL 2022-11-09 Paper https://portal.mardi4nfdi.de/entity/Q4994964 2021-06-22...10 bytes (16 words) - 12:32, 14 March 2024
- Publication Date of Publication Type Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics...10 bytes (16 words) - 00:52, 28 December 2023
- 2005-12-23 Paper Automated verification of an audio-control protocol using UPPAAL 2003-02-13 Paper https://portal.mardi4nfdi.de/entity/Q4532077 2002-05-28...10 bytes (16 words) - 20:39, 24 September 2023
- 2004-09-24 Paper Automated verification of an audio-control protocol using UPPAAL 2003-02-13 Paper...10 bytes (20 words) - 20:39, 24 September 2023
