Modelling of Complex Software Systems: A Reasoned Overview (Q3613056): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995871
@@ Property / cites work: Q3995871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous Kahn networks
@@ Property / cites work: Synchronous Kahn networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040436
@@ Property / cites work: Q4040436 / rank @@
+Normal rank
@@ Property / cites work @@
+Fonctionnelles causales non linéaires et indéterminées non commutatives
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840149
@@ Property / cites work: Q4840149 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling of Complex Systems: Systems as Dataflow Machines
+Normal rank
@@ Property / cites work @@
+Introduction to Hamiltonian dynamical systems and the \(N\)-body problem
+Normal rank
@@ Property / cites work @@
+Channel identification for high speed digital communications
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of reactive systems. Formal methods and algorithms.
+Normal rank
@@ Property / cites work @@
+Q3992540
@@ Property / cites work: Q3992540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023833
@@ Property / cites work: Q4023833 / rank @@
+Normal rank