The following pages link to Martin Wirsing (Q541294):
Displaying 50 items.
- (Q236805) (redirect page) (← links)
- A contract-based approach to adaptivity (Q541295) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Nondeterministic three-valued logic: isotonic and guarded truth-functions (Q792750) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- On hierarchies of abstract data types (Q1050767) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Program development: From enumeration to backtracking (Q1144368) (← links)
- Programming in a wide spectrum language: A collection of examples (Q1157137) (← links)
- Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen (Q1166272) (← links)
- Partial abstract types (Q1169290) (← links)
- Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten (Q1241510) (← links)
- Methodical solution of the problem of ascending subsequences of maximum length within a given sequence (Q1257765) (← links)
- Timed rewriting logic with an application to object-based specification (Q1356938) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- A formal approach to object-oriented software engineering (Q1608926) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Behavioural and abstractor specifications (Q1916354) (← links)
- (Q2722042) (← links)
- (Q2764133) (← links)
- (Q2767168) (← links)
- (Q2767183) (← links)
- A SOC-Based Formal Specification and Verification of Hybrid Systems (Q2787347) (← links)
- Statistical Model Checking for Composite Actor Systems (Q2848881) (← links)
- A Rewriting Logic Framework for Soft Constraints (Q2873783) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- Model-Checking Helena Ensembles with Spin (Q2945715) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- (Q3026326) (← links)
- (Q3045612) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- A Heterogeneous Approach to UML Semantics (Q3507375) (← links)
- (Q3657416) (← links)
- (Q3660896) (← links)
- (Q3662598) (← links)
- (Q3666260) (← links)
- (Q3672054) (← links)
- (Q3677154) (← links)
- (Q3687694) (← links)
- (Q3707384) (← links)
- (Q3725526) (← links)
- On the algebraic definition of programming languages (Q3763565) (← links)
- (Q3777428) (← links)
- (Q3789048) (← links)
- (Q3809236) (← links)