scientific article; zbMATH DE number 2130685

zbMATH Open1061.68102MaRDI QIDQ3158282FDOQ3158282

Authors:

Publication date: 24 January 2005

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

Recommendations

• Embedded systems design based on formal models of computation
• scientific article; zbMATH DE number 1028729
• scientific article; zbMATH DE number 1324641
• scientific article; zbMATH DE number 732939
• scientific article; zbMATH DE number 1079649

zbMATH Keywords

model checkingsystem designformal method

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A high-level requirements engineering methodology for electronic system-level design
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• Formal methods in designing embedded systems -- the SACRES experience
• Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation
• Embedded systems design based on formal models of computation
• Title not available (Why is that?)
• Towards two-level formal modeling of computer-based systems
• An algebraic theory for behavioral modeling and protocol synthesis in system design

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 Q3158282)