Pseudomonas sp. SDL

 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1988-2011
012319882011

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Owing to the model-driven development (MDD) technology, reliable network protocols could be developed with an integrated and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
The aim of this study was to characterize the physical properties of spray dried lactose in the presence of different… (More)
Is this relevant?
2004
2004
Available statistical data shows that the cost of repairing software faults rises dramatically in later development stages. It is… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2000
2000
The CCITT Specification and Description Language (SDL) became a CCITT recommendation in 1976, and a refined version was published… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
1999
1999
OBJECTIVE The authors described experimental data in hemostatic vascular transection using a STATLase-SDL with a 780-865 nm GaA… (More)
Is this relevant?
1998
1998
This paper presents a new approach to the formal veriication of SDL speciications. SDL is given de-notational semantics based on… (More)
Is this relevant?
1995
1995
The need of eecient simulation methods for validation and veriication of protocol specii-cations leads to the development of… (More)
Is this relevant?
1995
1995
The goal of software supervision is to detect failures of software systems during their operation. The supervisor is a unit which… (More)
  • figure 5
  • figure 9
Is this relevant?
1995
1995
  • Ketil Sttlen
  • 1995
The objective of this paper is to explain how Focus can be used for the formal development and veriication of SDL speciications… (More)
Is this relevant?
1988
1988
This paper shows how OSI architectural concept of service can be expressed using the specification language CCITT-SDL. Some… (More)
  • figure 1
  • figure 2
  • figure 2
  • figure 3
  • figure 3
Is this relevant?