Sciweavers

10 search results - page 1 / 2
» ifm 2004
Sort
View
79
Voted
IFM
2004
Springer
15 years 6 months ago
Integrating Temporal Logics
Yifeng Chen, Zhiming Liu
99
Voted
IFM
2004
Springer
15 years 6 months ago
A Tutorial Introduction to Designs in Unifying Theories of Programming
Jim Woodcock, Ana Cavalcanti
86
Voted
IFM
2004
Springer
15 years 6 months ago
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
113
Voted
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 6 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
127
Voted
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 6 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel