Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

PragmaDev Studio

Known as: PragmaDev, Real Time Developer Studio 
PragmaDev Studio is a modeling tool introduced by PragmaDev in 2002. It was initially called Real Time Developer Studio or RTDS. Its primary… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Predictable behavior of wireless sensor networks calls for deterministic protocols for network-wide synchronization and collision… Expand
Is this relevant?
2014
2014
In most industrial embedded systems development projects, the software and the hardware development parts are separated, and the… Expand
Is this relevant?
2013
2013
The translation of a system model to an intermediate format is an important step towards formal proofs of properties. This paper… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?