Threaded behavior protocols (Q470016): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6368390
@@ Property / zbMATH DE Number: 6368390 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavior modeling
@@ Property / zbMATH Keywords: behavior modeling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+composition
@@ Property / zbMATH Keywords: composition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+component systems
@@ Property / zbMATH Keywords: component systems / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-011-0194-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2097215078
@@ Property / OpenAlex ID: W2097215078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3394898
@@ Property / cites work: Q3394898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Lazzarini's Lucky Approximation of π
@@ Property / cites work: Lazzarini's Lucky Approximation of π / rank @@
+Normal rank
@@ Property / cites work @@
+Program Compatibility Approaches
@@ Property / cites work: Program Compatibility Approaches / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Q3579033
@@ Property / cites work: Q3579033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:470016