University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Discussion: Academia, Industry and Government Working Together to Use Formal Specifications at Scale

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Discussion: Academia, Industry and Government Working Together to Use Formal Specifications at Scale

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

OFBW70 - Formal Specification and Validation at Scale

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Andrew Chamblin Memorial Lectures Climate Histories Interdisciplinary Seminar Series CU Explorer's Society

Other talks

Communicating Complex Information at the Bank of England On the intersection of critical percolation clusters and Branching random walks in high dimension BRAIN-RELATED PRESENTATIONS ARE MORE PREVALENT IN BRACHYCEPHALIC DOGS WITH ‘BRACHYCEPHALIC OBSTRUCTIVE AIRWAY DISORDER’ (BOAS) MSD Lecture title TBC State of the Infer Platform Ensembling climate models with Gaussian processes to better characterise future extremes
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity