Record Type: Journal Article / Author/Creator: Buffoni, Lena - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Record Type Journal Article Author/Creator Buffoni, Lena

1. Model-Based Dependability Analysis of Physical Systems with Modelica. (8th March 2017)

Authors:: Tundis, Andrea; Buffoni, Lena; Fritzson, Peter; Garro, Alfredo
Other Names:: Ramírez Franco Academic Editor.
Journal:: Modelling and simulation in engineering
Issue:: Volume 2017(2017)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Towards the Automation of Model‐Based Design Verification. Issue 1 (13th September 2016)

Authors:: Schamai, Wladimir; Helle, Philipp; Albarello, Nicolas; Buffoni, Lena; Fritzson, Peter
Journal:: INCOSE International Symposium
Issue:: Volume 26:Issue 1(2016)
Page Start:: 585
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. TOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION. Issue 1 (6th April 2017)

Authors:: Schamai, Wladimir; Albarello, Nicolas; Helle, Philipp; Buffoni, Lena; Fritzson, Peter
Journal:: Insight
Issue:: Volume 20:Issue 1(2017)
Page Start:: 42
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗