scientific article; zbMATH DE number 578247
From MaRDI portal
Publication:4293540
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited in
(20)- Hierarchically specified unit disk graphs
- scientific article; zbMATH DE number 606833 (Why is no real title available?)
- Separation of concerns in teaching software engineering
- Software engineering for engineers and computer scientists. Planning, design and implementation. Ed. by Otto Mildenberger
- scientific article; zbMATH DE number 49463 (Why is no real title available?)
- Simulation relations for fault-tolerance
- scientific article; zbMATH DE number 517259 (Why is no real title available?)
- scientific article; zbMATH DE number 4054990 (Why is no real title available?)
- Requirements analysis for engineering computation: a systematic approach for improving reliability
- A theory of implementation and refinement in timed Petri nets
- scientific article; zbMATH DE number 1395608 (Why is no real title available?)
- On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook
- A document driven methodology for developing a high quality parallel mesh generation toolbox
- A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication
- scientific article; zbMATH DE number 194535 (Why is no real title available?)
- Consistent database sampling as a database prototyping approach
- Hierarchically specified unit disk graphs
- The application of hypergroups in symbolic executions and finite automata
- DSOL: a declarative approach to self-adaptive service orchestrations
- scientific article; zbMATH DE number 46827 (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 Q4293540)
