Sciweavers

10 search results - page 1 / 2
» ifm 2004
Sort
View
IFM
2004
Springer
14 years 1 months ago
Integrating Temporal Logics
Yifeng Chen, Zhiming Liu
IFM
2004
Springer
14 years 1 months ago
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
14 years 1 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
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 1 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