Titlebook: Integrated Formal Methods; 7th International Co Michael Leuschel,Heike Wehrheim Conference proceedings 2009 Springer-Verlag Berlin Heidelbe

AMEND

0302-9743 ons. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.978-3-642-00254-0978-3-642-00255-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

鋼盔

Developing Topology Discovery in Event-Bervation, event refinement, event convergence, and deadlock freedom. The combination of these features is novel and should be useful for formalizing and developing other kinds of semi-reactive systems, which are systems that react to, but do not modify, their environment.

600

親屬

間接

無底

Esalate

絆住