The following pages link to Jonathan P. Bowen (Q207988):
Displaying 21 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications (Q782500) (← links)
- (Q1346606) (redirect page) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- Communities and ancestors associated with Egon Börger and ASM (Q2117583) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- On security in encrypted computing (Q2218949) (← links)
- From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria (Q2432226) (← links)
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng (Q2842626) (← links)
- Retracted: On the visual representation of configuration in reconfigurable computing (Q2847841) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- (Q4412558) (← links)
- (Q4431335) (← links)
- (Q4471923) (← links)
- (Q4472188) (← links)
- (Q4680194) (← links)
- (Q4787253) (← links)
- (Q4842964) (← links)
- (Q4857803) (← links)
- Formal Approaches to Software Testing (Q5710645) (← links)
- An approach to the specification and verification of a hardware compilation scheme (Q5945700) (← links)