Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International Conference on Formal Engineering Methods 42 träffar

Titel Författare År Språk
41 A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems A satellite event of SEFM2017- 15th International conference on Software Engineering and Formal Methods Lu Jinzhi 2017 Engelska
42 Automatic Derivation of Platform Noninterference Properties 4 July 2016 through 8 July 2016 Austria Vienna STAF 2016 SEFM 2016 Held as Part of Conference on Software Technologies: Applications and Foundations 14th International Conference on Software Engineering and Formal Methods Oliver Schwarz 2016 Engelska

Förra sidan 1 2 3

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.