Scenario-based verification of real-time systems using UPPAAL (Q633291): Difference between revisions

@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-010-0103-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2146580567
@@ Property / OpenAlex ID: W2146580567 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time system = discrete system + clock variables
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+The computational complexity of scenario-based agent verification and design
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of a radio-based signaling system using the STATEMATE verification environment
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Live Sequence Charts
@@ Property / cites work: On the Expressive Power of Live Sequence Charts / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
+Normal rank
@@ Property / cites work @@
+Q4427918
@@ Property / cites work: Q4427918 / rank @@
+Normal rank
@@ Property / cites work @@
+Schedulability of asynchronous real-time concurrent objects
+Normal rank
@@ Property / cites work @@
+Q5481211
@@ Property / cites work: Q5481211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769611
@@ Property / cites work: Q2769611 / rank @@
+Normal rank
@@ Property / cites work @@
+Check It Out: On the Efficient Formal Verification of Live Sequence Charts
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Scenario-based verification of real-time systems using UPPAAL
+Normal rank
@@ Property / cites work @@
+Q4435875
@@ Property / cites work: Q4435875 / rank @@
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank