jETI

swMATH471MaRDI QIDQ13228FDOQ13228

Author name not available (Why is that?)

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)

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

This page was built for software: jETI