Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030034177, 9783030034184

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Modeling and Programming

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_2 ◽

2018 ◽

pp. 22-34

Author(s):

Neil D. Jones

Download Full-text

Is Privacy by Construction Possible?

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_28 ◽

2018 ◽

pp. 471-485 ◽

Cited By ~ 4

Author(s):

Gerardo Schneider

Download Full-text

From Modeling to Model-Based Programming

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_18 ◽

2018 ◽

pp. 295-308 ◽

Cited By ~ 2

Author(s):

Gabor Karsai

Keyword(s):

Model Based

Download Full-text

Model-Based Development for High-Assurance Embedded Systems

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_32 ◽

2018 ◽

pp. 539-545 ◽

Cited By ~ 1

Author(s):

Robby ◽

John Hatcliff ◽

Jason Belt

Keyword(s):

Embedded Systems ◽

Model Based ◽

High Assurance

Download Full-text

Design for ‘X’ Through Model Transformation

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_23 ◽

2018 ◽

pp. 381-398 ◽

Cited By ~ 2

Author(s):

Michael Lybecait ◽

Dawid Kopetzki ◽

Bernhard Steffen

Keyword(s):

Model Transformation ◽

Design For X

Download Full-text

Towards Interactive Compilation Models

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_15 ◽

2018 ◽

pp. 246-260 ◽

Cited By ~ 2

Author(s):

Steven Smyth ◽

Alexander Schulz-Rosengarten ◽

Reinhard von Hanxleden

Download Full-text

A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_31 ◽

2018 ◽

pp. 519-538 ◽

Cited By ~ 3

Author(s):

Michael Lybecait ◽

Dawid Kopetzki ◽

Philip Zweihoff ◽

Annika Fuhge ◽

Stefan Naujokat ◽

...

Keyword(s):

Graphical Modeling

Download Full-text

Towards Confidentiality-by-Construction

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_30 ◽

2018 ◽

pp. 502-515 ◽

Cited By ~ 3

Author(s):

Ina Schaefer ◽

Tobias Runge ◽

Alexander Knüppel ◽

Loek Cleophas ◽

Derrick Kourie ◽

...

Download Full-text

Modeling with Scala

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_12 ◽

2018 ◽

pp. 184-205 ◽

Cited By ~ 2

Author(s):

Klaus Havelund ◽

Rajeev Joshi

Download Full-text

On the Difficulty of Drawing the Line

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_20 ◽

2018 ◽

pp. 340-356 ◽

Cited By ~ 5

Author(s):

Steve Boßelmann ◽

Stefan Naujokat ◽

Bernhard Steffen

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On Modeling and Programming

Is Privacy by Construction Possible?

From Modeling to Model-Based Programming

Model-Based Development for High-Assurance Embedded Systems

Design for ‘X’ Through Model Transformation

Towards Interactive Compilation Models

A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO

Towards Confidentiality-by-Construction

Modeling with Scala

On the Difficulty of Drawing the Line

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science
Latest Publications