scientific article; zbMATH DE number 2080774

MaRDI QIDQ4473741zbMATH OpenFDO

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

Mathematics Subject Classification ID

Theory of software (68N99)

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

Cited in

(13)

• A software platform for embedded systems
• scientific article; zbMATH DE number 2080772 (Why is no real title available?)
• Introduction to the special issue on software technologies for embedded and ubiquitous systems
• scientific article; zbMATH DE number 2017349 (Why is no real title available?)
• scientific article; zbMATH DE number 2088916 (Why is no real title available?)
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• scientific article; zbMATH DE number 2062238 (Why is no real title available?)
• scientific article; zbMATH DE number 2080770 (Why is no real title available?)
• scientific article; zbMATH DE number 2017337 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 1794355 (Why is no real title available?)
• scientific article; zbMATH DE number 2086492 (Why is no real title available?)
• scientific article; zbMATH DE number 2017365 (Why is no real title available?)

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)