jETI

swMATH471MaRDI QIDQ13228FDOQ13228

Author name not available (Why is that?)

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (4)

• The electronic tool integration platform: Concepts and design
• Model checking dynamic memory allocation in operating systems
• Quality Engineering: Leveraging Heterogeneous Information
• Translating FSP into LOTOS and networks of automata

This page was built for software: jETI