1676 search results - page 3 / 336 » Formal System Development with KIV |
ISOLA
2007
Springer
15 years 3 months ago
2007
Springer
FM
1999
Springer
15 years 1 months ago
1999
Springer
IFM
2010
Springer
14 years 8 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
KIVS
2009
Springer
15 years 4 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
114
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...