sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000109565671 | 1 hits
Person
ISNI: 
0000 0001 0956 5671
Name: 
Bowen, J. P.
Bowen, J.P. (Computer science)
Bowen, Jonathan
Bowen, Jonathan P.
Bowen, Jonathan Peter
Bowen, Jonathan Peter (Computer science)
Bowen, Jonathon P.
Jonathan Bowen (britischer Informatiker)
Jonathan Bowen (britisk ingeniør og informatikar)
Jonathan Bowen (britisk ingeniør og informatiker)
Jonathan Bowen (Brits auteur)
Jonathan Bowen (brittisk ingenjör och datavetare)
Jonathan Bowen (Computer scientist, information technologist)
Jonathan Bowen (informatico britannico)
Боуэн, Джонатан
Dates: 
1956-
Creation class: 
article
Computer file
Language material
Text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Boca, Paul
Fett, Andreas
Harman, Mark
Hierons, Robert M.
Hinchey, Michael G. (1969-)
Hinchey, Michael Gerald (1969-)
Hinchey, Michael Gerard (1969- ))
Hinchey, Michael Gerard (1969-)
Nicholls, John E. (1928- ))
Till, David
Titles: 
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs, An
Applications of formal methods
Approach to the Specification and Verification of a Hardware Compilation Scheme, An
Communicating the public understanding of science: the Royal Society website.
Decompilation: the enumeration of types and grammars
Electronic Visualisation in Arts and Culture
ethics of safety-critical systems, The
Experimental evaluation of the tolerance for control-flow test criteria
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria
FMnet: Formal Methods Network for Engineering Technologies
formal analysis of MCDC and RCDC test criteria, A
Formal methods and testing : an outcome of the FORTEST network : revised selected papers
Formal specification and documentation using Z a case study approach
Formal Versus Agile: Survival of the Fittest
Formalization of software testing criteria using the Z notation
FORTEST: Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Getting started with Talend Open Studio for data integration develop system integrations with speed and quality using Talend Open Studio for Data Integration
High-integrity system specification and design
Industrial-strength formal methods in practice
Reasoning about VHDL and VHDL-AMS using denotational semantics
Seven more myths of formal methods
shallow embedding of Z in HOL, A
Software Engineering and Formal Methods
Ten commandments of formal methods... ten years later
Ten commandments revisited:a ten-year perspective on the industrial application of formal methods
Towards verified systems
Using formal specifications to support testing
Weaving the museum web : the Virtual Library museums pages
Web-based discussion groups at stake: the profile of museum professionals online
World Wide Web and the virtual library museums pages, The
World Wide Web Virtual Library of museums, The
X: Why Z?.
Z User Workshop, London 1992 : proceedings of the Seventh Annual Z User Meeting, London, 14-15 December 1992
ZB 2000
ZUM '95 : the Z formal specification notation
ZUM'97 : the Z formal specification notation : 10th international conference of Z users, Reading, UK, April 3-4, 1997 : proceedings
ZUM'98
Contributed to or performed: 
INFORMATION SERVICES AND USE
PROGRAM -LONDON- ASLIB-
Notes: 
Sources: 
VIAF DNB LC N6I NUKAT SUDOC WKD
BOWKER
NTA
ZETO