id:"swepub:oai:DiVA.org:lnu-75235"
Sökning: id:"swepub:oai:DiVA.org:lnu-75235" > Formal Methods for ...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
-
- Lang, Frédéric (redaktör/utgivare)
- Université de Grenoble Alpes, France
-
- Flammini, Francesco, Senior Lecturer, 1978- (redaktör/utgivare)
- Ansaldo STS, Italy
- (creator_code:org_t)
- Elsevier, 2014
- Engelska 96 s.
- Serie: Science of Computer Programming, 0167-6423
- Samlingsverk (redaktörskap) (övrigt vetenskapligt/konstnärligt)
Ämnesord
Stäng
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Software Technology
- Programvaruteknik
Publikations- och innehållstyp
- vet (ämneskategori)
- sam (ämneskategori)
Hitta via bibliotek
- Formal Methods for Industrial Critical Systems 19th International Conference, FM... (Sök publikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Lang, Frédéric
- Flammini, France ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Inbäddad systemt ...
- Delar i serien
- Science of Compu ...
- Av lärosätet
- Linnéuniversitetet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
