Formal methods and tools for industrial critical systems

Maurice Ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	325-330
Number of pages	6
Journal	International Journal on Software Tools for Technology Transfer
Volume	24
Issue number	3
DOIs	https://doi.org/10.1007/s10009-022-00660-4
Publication status	Published - 2022

Research Field

@article{f5bbf10a2df8441ba388acd74a068668,

title = "Formal methods and tools for industrial critical systems",

author = "\{Ter Beek\}, Maurice and Larsen, \{Kim G.\} and Dejan Nickovic and Willemse, \{Tim A. C.\}",

year = "2022",

doi = "10.1007/s10009-022-00660-4",

language = "English",

volume = "24",

pages = "325--330",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "3",

}

TY - JOUR

T1 - Formal methods and tools for industrial critical systems

AU - Ter Beek, Maurice

AU - Larsen, Kim G.

AU - Nickovic, Dejan

AU - Willemse, Tim A. C.

PY - 2022

Y1 - 2022

U2 - 10.1007/s10009-022-00660-4

DO - 10.1007/s10009-022-00660-4

M3 - Article

SN - 1433-2779

VL - 24

SP - 325

EP - 330

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 3

ER -