scientific article; zbMATH DE number 2017355

zbMath1027.68762MaRDI QIDQ4439585

Paul Caspi, Stavros Tripakis, Jean-Pierre Talpin, Paul Le Guernic, Albert Benveniste, Hervé Marchand

Publication date: 14 December 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (4)

Compositional design of isochronous systems ⋮ A framework for modeling the distributed deployment of synchronous designs ⋮ An algebraic theory for behavioral modeling and protocol synthesis in system design ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking

Uses Software

• Uppaal

This page was built for publication: