Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems

von Woodcock, Jim
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Software engineering mathematics : formal methods demystified

von Woodcock, Jim
Veröffentlicht 1991

Using Z : specification, refinement, and proof

von Woodcock, Jim
Veröffentlicht 1996

Software engineering mathematics : formal methods demystified

von Woodcock, Jim
Veröffentlicht 1991

Software engineering mathematics : formal methods demystified

von Woodcock, Jim
Veröffentlicht 1988

Using Z : specification, refinement, and proof

von Woodcock, Jim
Veröffentlicht 1996

Software engineering mathematics

von Woodcock, Jim
Veröffentlicht 1988

Industrial strength formal methods : proceedings

Veröffentlicht 1993

Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving

von Ye, Kangfeng
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

The application of formal methods : essays dedicated to Jim Woodcock on the occasion of his retirement

Veröffentlicht 2024

Formally Verified Self-adaptation of an Incubator Digital Twin

von Wright, Thomas
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Z : grammar and concrete and abstract syntaxes ; (Version 2.0)

von King, Steve
Veröffentlicht 1988

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings

Veröffentlicht 2008

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussi...

Veröffentlicht 2008

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

Veröffentlicht 2013

Dependable software engineering : theories, tools, and applications: 7th International Symposium, SETTA 2021 Beijing, China, November 25-27, 2021 : proceedings

Veröffentlicht 2021

Engineering of Digital Twins for Cyber-Physical Systems

von Fitzgerald, John
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26 - 30, 2013...

Veröffentlicht 2013

Learning Safe Neural Network Controllers with Barrier Certificates

von Zhao, Hengjun
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

von Woodcock, Jim
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)