(Q123527826)

English

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins

Proceedings of FMDT 2023 workshop

In more languages

default for all languages

No label defined

No description defined

edit

Statements

instance of

proceedings

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

short name

FMDT 2023 (English)

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

title

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins (English)

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

part of the series

CEUR Workshop Proceedings

volume

3507

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

publication date

16 October 2023

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

described at URL

http://ceur-ws.org/Vol-3507/

language of work or name

English

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

full work available at URL

http://ceur-ws.org/Vol-3507/

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

is proceedings from

Workshop on Applications of Formal Methods and Digital Twins

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

Identifiers

0 references

0 references

urn:nbn:de:0074-3507-7

1 reference

reference URL

http://ceur-ws.org/Vol-3507/

retrieved

24 November 2023

(Q123527826)

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)