Search
Search Constraints
You searched for: Journal Formal aspects of computingLimit your search
- 004.05 79
- Computer science -- Periodicals 79
- Architecture composability -- Component-based frameworks -- Safety -- Liveness -- BIP 2
- CSP -- FDR -- Bisimulation -- Strong bisimulation -- Delay bisimulation -- Weak bisimulation -- Labelled transition systems -- Model-checking 2
- Certification tests -- Verification -- Model Checking -- SME -- Dependability -- Safety-critical systems 2
- Complexity -- Compositional analysis -- Concurrency -- Efficiency -- Linear programming -- Probabilistic automata -- Satisfiability modulo theories -- Weak bisimulation 2
- Domain specific language (DSL) -- Semantics -- Code generation -- Conformance testing 2
- Dynamic reconfiguration -- Synthesis -- Control theory -- Adaptive systems -- Correct-by-construction 2
- Formal verification -- Composition -- Proof assistant -- MDE -- MOF 2
- MATLAB -- Numerical computing -- Automated verification -- SMT solving 2