Testable Specifications of NoTA-Based Modular Embedded Systems

Dragos Truscan, J Lindqvist, Johan Lilius, Ivan Porres Paltor, T Eriksson, J Rakkola, A Latva-Aho

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

5 Citations (Scopus)

Search results