Author/Creator: Gleirscher, Mario - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Gleirscher, Mario

1. Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. (16th August 2021)

Authors:: Foster, Simon; Nemouchi, Yakoub; Gleirscher, Mario; Wei, Ran; Kelly, Tim
Journal:: ITNow
Issue:: Volume 63:Number 3(2021)
Page Start:: 66
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. MaCon: Consistent Cross-Disciplinary Conception of Manufacturing Systems. Issue 12 (2016)

Authors:: Hackenberg, Georg; Gleirscher, Mario; Stocker, Thomas; Richter, Christoph; Reinhart, Gunther
Journal:: IFAC-PapersOnLine
Issue:: Volume 49:Issue 12(2016)
Page Start:: 1175
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗