Formalisation and Verification in a Type-Theoretic Framework
15th, National symposium on family issuses ; 2007 ; University Park, PA
01.01.2009
17 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formalisation of the multigrid computations
British Library Online Contents | 2013
|Formalisation of the multigrid computations
British Library Online Contents | 2013
|Aspects of formalisation in requirements engineering
Tema Archiv | 2007
|Contribution to the Grafcet formalisation. A static meta-model proposition
British Library Online Contents | 1997
|FORMALISATION AND ALGORITHMIC APPROACH TO THE AUTOMATED DRIVING VALIDATION PROBLEM
British Library Conference Proceedings | 2019
|