Conformance testing for real-time systems (Q842583): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-009-0065-1
@@ Property / DOI: 10.1007/s10703-009-0065-1 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://doi.org/10.1007/s10703-009-0065-1
-Normal rank
@@ Property / OpenAlex ID @@
-W2120916408
@@ Property / OpenAlex ID: W2120916408 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-009-0065-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2120916408
@@ Property / OpenAlex ID: W2120916408 / 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 @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Forward analysis of updatable timed automata
@@ Property / cites work: Forward analysis of updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q2754117
@@ Property / cites work: Q2754117 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental evaluation of verification and validation tools on Martian Rover software
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q4472265
@@ Property / cites work: Q4472265 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769597
@@ Property / cites work: Q2769597 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing timed automata
@@ Property / cites work: Testing timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fault Diagnosis for Timed Automata
@@ Property / cites work: Fault Diagnosis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-009-0065-1
@@ Property / DOI: 10.1007/S10703-009-0065-1 / rank @@
+Normal rank