scientific article; zbMATH DE number 2130685
From MaRDI portal
Publication:3158282
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)
Recommendations
Cited in
(11)- scientific article; zbMATH DE number 2112983 (Why is no real title available?)
- scientific article; zbMATH DE number 1863373 (Why is no real title available?)
- scientific article; zbMATH DE number 732939 (Why is no real title available?)
- 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
- Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation
- Formal methods in designing embedded systems -- the SACRES experience
- Embedded systems design based on formal models of computation
- scientific article; zbMATH DE number 2130218 (Why is no real title available?)
- 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)
