Sciweavers

10 search results - page 1 / 2
» ifm 2004
Sort
View
IFM
2004
Springer
15 years 10 months ago
Integrating Temporal Logics
Yifeng Chen, Zhiming Liu
137
Voted
IFM
2004
Springer
15 years 10 months ago
A Tutorial Introduction to Designs in Unifying Theories of Programming
Jim Woodcock, Ana Cavalcanti
126
Voted
IFM
2004
Springer
15 years 10 months ago
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
153
Voted
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 10 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»
15 years 10 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