Model-Based Testing of Environmental Conformance of Components (Q3525108): Difference between revisions

@@ 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/978-3-540-74792-5_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2117276265
@@ Property / OpenAlex ID: W2117276265 / 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 @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-fly conformance testing using SPIN
@@ Property / cites work: On-the-fly conformance testing using SPIN / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3525108