×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [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
221 views
Combining Time and Frequency Domain Specifications for Periodic Signals Aleksandar Chakarov and Sriram Sankaranarayanan University of Colorado Boulder
220 views
Combining Time and Frequency Domain Specifications for Periodic Signals
27 views