scientific article; zbMATH DE number 2080774

zbMATH Open1050.68532MaRDI QIDQ4473741FDOQ4473741

Authors: Janos Sztipanovits, Gabor Karsai 

Publication date: 4 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 1794355
• Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems
• scientific article; zbMATH DE number 2018579
• scientific article; zbMATH DE number 2017337

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (13)

• A software platform for embedded systems
• Title not available (Why is that?)
• Introduction to the special issue on software technologies for embedded and ubiquitous systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2004
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473741)