scientific article; zbMATH DE number 1931746

zbMath1014.68760MaRDI QIDQ4709037

Daniel Hagimont, Vania Marangozova

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2425/24250464.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

This page was built for publication: