Search Results for Industrial safety.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-319-56841-6

Format:

Electronic Resources

Alıntı:

; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Yazar

Larsen, Kim Guldstrand. editor.

https://doi.org/10.1007/978-3-030-27008-7

Format:

Electronic Resources

Alıntı:

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-319-33693-0

Format:

Electronic Resources

Alıntı:

-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor.

http://dx.doi.org/10.1007/978-3-319-40648-0

Format:

Electronic Resources

Alıntı:

-- Synthesizing Runtime Enforcer of Safety Properties under Burst Error -- Compositional Runtime Enforcement

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33600-8

Format:

Electronic Resources

Alıntı:

-- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

http://dx.doi.org/10.1007/978-3-319-05032-4

Format:

Electronic Resources

Alıntı:

Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}