Towards Deriving Test Sequences by Model Checking (Q2873605): Difference between revisions

@@ Property / author @@
+Arnaldo Vieira Moura
@@ Property / author: Arnaldo Vieira Moura / rank @@
+Normal rank
@@ Property / author @@
+José Carlos Maldonado
@@ Property / author: José Carlos Maldonado / 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.1016/j.entcs.2007.08.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2039882724
@@ Property / OpenAlex ID: W2039882724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817528
@@ Property / cites work: Q4817528 / 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 @@
+Q4804906
@@ Property / cites work: Q4804906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818802
@@ Property / cites work: Q4818802 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance tests for real-time systems with timed automata specifications
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q4737124
@@ Property / cites work: Q4737124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938632
@@ Property / cites work: Q4938632 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Q5541342
@@ Property / cites work: Q5541342 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530804
@@ Property / cites work: Q4530804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942006
@@ Property / cites work: Q4942006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+TCTL Inevitability Analysis of Dense-Time Systems
@@ Property / cites work: TCTL Inevitability Analysis of Dense-Time Systems / rank @@
+Normal rank