Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Model-Based Safety and Assessment

7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Theory and Models for Cyber Situation Awareness

Produktform: E-Buch Text Elektronisches Buch in proprietärem