jETI

MaRDI QIDQ13228swMATHFDO

Official website http://www.springerlink.com/content/h9x6m1x21g5lknkx/fulltext.pdf

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(12)

• MetaGame
• SecureUML
• ToolBus
• MANIFOLD
• General Purpose Hash Function Library
• The electronic tool integration platform: Concepts and design
• csp2B
• dSPIN
• Quality engineering: leveraging heterogeneous information (invited talk)
• CLDC
• Translating FSP into LOTOS and networks of automata
• Model checking dynamic memory allocation in operating systems

This page was built for software: jETI