×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [specification formalisms]
Home >
specification formalisms
Concur 2001 August 21, 2001 Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains Holger Hermanns and Joost-Pieter Katoen with.
212 views
Specification Formalisms Book: Chapter 5. Properties of formalisms Formal. Unique interpretation. Intuitive. Simple to understand (visual). Succinct.
218 views
Combining Time and Frequency Domain Specifications for Periodic Signals Aleksandar Chakarov and Sriram Sankaranarayanan University of Colorado Boulder.
219 views
Combining Time and Frequency Domain Specifications for Periodic Signals
27 views