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
34 träffar
|
Titel |
Författare |
År |
Språk |
21 |
First IEEE International Conference Conference sic on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997
|
Japan) 1997 : (1st IEEE International Conference on Formal Engineering Methods Hiroshima-shi
|
uuuu-uuuu |
Okänt |
22 |
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
|
Qld.) 1998 : (2nd IEEE International Conference on Formal Engineering Methods Brisbane
|
uuuu-uuuu |
Okänt |
23 |
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
|
England) 2000 : (3rd IEEE International Conference on Formal Engineering Methods York
|
uuuu-uuuu |
Okänt |
24 |
Software engineering and formal methods. - 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
|
Netherlands) International Conference on Software Engineering and Formal Methods 2023 : Eindhoven
|
2023 |
Engelska |
25 |
Formal Methods and Software Engineering
|
International Conference on Formal Engineering Methods
|
2004 |
Engelska |
26-27 |
Formal methods and software engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
(flera utgåvor)
|
International Conference on Formal Engineering Methods 2002 : Shanghai)
|
2003 |
Engelska |
28 |
Formal methods and software engineering. - 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings
|
International Conference on Formal Engineering Methods 2003 : Singapore)
|
2003 |
Engelska |
29 |
ICFEM 2000 - Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
|
England) IEEE International Conference on Formal Engineering Methods 2000 : York
|
c2000 |
Engelska |
30 |
Formalizing a secure foreign function interface
|
UK York September 7–11 13th International Conference on Software Engineering and Formal Methods (SEFM) Adriaan Larmuseau
|
2015 |
Engelska |
31 |
Broadcast Psi-calculi with an Application to Wireless Protocols
|
Uruguay Montevideo 2011 November 14-18 9th International Conference on Software Engineering and Formal Methods Johannes Borgström
|
2011 |
Engelska |
32 |
Early Fault Detection in DSLs using SMT Solving and Automated Debugging
|
2013 25-27 September Spain Madrid SEFM 2013 11th International Conference on Software Engineering and Formal Methods Sarmen Keshishzadeh
|
2013 |
Engelska |
33 |
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 |
34 |
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
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.