-
numerous non-governmental
organizations in Kimilili, the two main ones
being ICFEM and Omwabini.
Kimilili is home to the
Western Provincial Police Training...
- Engineering: 5th
International Conference on
Formal Engineering Methods,
ICFEM 2003, Singapore,
November 5-7, 2003, Proceedings. Springer. ISBN 978-3-540-39893-6...
-
extensible tool
environment for Event-B. In Z. Liu and J. He, editors,
ICFEM 2006, LNCS,
volume 4260,
pages 588–605. Springer, 2006.
Abdolbaghi Rezazadeh...
- Engineering: 22nd
International Conference on
Formal Engineering Methods,
ICFEM 2020, Singapore.
Lecture Notes in
Computer Science. Vol. 12531. pp. 287–296...
- "Probing the
Depths of CSP-M: A new FDR-compliant
Validation Tool" (PDF).
ICFEM 2008. Springer-Verlag.
Archived from the
original (PDF) on 2011-07-19. Retrieved...
- Engineering, 11th
International Conference on
Formal Engineering Methods,
ICFEM 2009. Rio de Janeiro, Brazil: Springer-Verlag. Stocks, Phil; Carrington...
- Nets to
Networks of
Timed Automata by J. Byg, K.Y. Jørgensen and J. Srba,
ICFEM'09,
Springer A
Framework for
Relating Timed Transition Systems and Preserving...
- In
Michael Butler;
Michael G. Hinchey; María M. Larrondo-Petrie (eds.).
ICFEM'07: Proc.
Formal Engineering Methods 9th Int. Conf. on
Formal Methods and...
