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)- The application of hypergroups in symbolic executions and finite automata
- Consistent database sampling as a database prototyping approach
- scientific article; zbMATH DE number 46827 (Why is no real title available?)
- On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook
- Separation of concerns in teaching software engineering
- scientific article; zbMATH DE number 49463 (Why is no real title available?)
- scientific article; zbMATH DE number 1395608 (Why is no real title available?)
- A theory of implementation and refinement in timed Petri nets
- Software engineering for engineers and computer scientists. Planning, design and implementation. Ed. by Otto Mildenberger
- DSOL: a declarative approach to self-adaptive service orchestrations
- Hierarchically specified unit disk graphs
- A document driven methodology for developing a high quality parallel mesh generation toolbox
- scientific article; zbMATH DE number 4054990 (Why is no real title available?)
- Requirements analysis for engineering computation: a systematic approach for improving reliability
- scientific article; zbMATH DE number 517259 (Why is no real title available?)
- Hierarchically specified unit disk graphs
- scientific article; zbMATH DE number 606833 (Why is no real title available?)
- scientific article; zbMATH DE number 194535 (Why is no real title available?)
- Simulation relations for fault-tolerance
- A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication
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)
