Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

title
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Burkhart Wolff 2022-07-29 09:01:12 +02:00
parent 35c03cd667
commit f938894ef7
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
src/ontologies/ARINC661/.DS_Store vendored
View File

Binary file not shown.

2
src/ontologies/ARINC661/paper.thy
View File

@ -17,7 +17,7 @@ define_shortcut* isabelle \<rightleftharpoons> \<open>Isabelle/HOL\<close>
(********************************************************)
(* TITLE ************************************************)
title*[tit::title]\<open>A UI-component Description and its conformance to the ARINC Standard\<close>
title*[tit::title]\<open>Formal Conformance of A Saftety-Critical UI-component with the ARINC Standard\<close>
(**********************************************************)
(* AUTHORS ************************************************)